FPSCR_RM_ZERO
return packFloat64(float_rounding_mode() == FPSCR_RM_ZERO, 0, 0);
return packFloat32(float_rounding_mode() == FPSCR_RM_ZERO, 0, 0);