8411: check that hypsum attains desired precision

fixes #8411 

Precision is simply doubled until the computed value, v, has the desired precision.