a better alternative to Protect_FPU_rounding(CGAL_FE_TONEAREST) which is slightly unrelated. If it works, then let's use it in the places that have recently been using Protect_FPU_rounding for this issue.
a better alternative to Protect_FPU_rounding(CGAL_FE_TONEAREST) which is slightly unrelated. If it works, then let's use it in the places that have recently been using Protect_FPU_rounding for this issue.