8411: check that hypsum attains desired precision