Floating-point Rounding Control Definitions