I am not familiar with NSan but other shadow value implementations will keep a higher precision copy of the numbers and follow them in the computation. They de

I am not familiar with NSan but other shadow value implementations will keep a higher precision copy of the numbers and follow them in the computation. They detect local errors but also take propagation (amplification and dampening of error) into account to evaluate the numerical accuracy of the final result.