Thoses changes should have been done when the code was modified for CGAL_CFG_FPU_ROUNDING_MODE_UNWINDING_VC_BUG