float_rounding_mode
int float_rounding_mode(void);
return packFloat64(float_rounding_mode() == FPSCR_RM_ZERO, 0, 0);
roundNearestEven = (float_rounding_mode() == FPSCR_RM_NEAREST);
roundNearestEven = (float_rounding_mode() == FPSCR_RM_NEAREST);
return packFloat32(float_rounding_mode() == FPSCR_RM_ZERO, 0, 0);
extern int float_rounding_mode(void); /* in fpu.c */