Floating-point Computation Model Control Definitions