reactivate again FIX_1072_REPLACE_DIV_SQRT_BY_ISQRT with increased isqrt precision this time