J.3.6 Floating point
Accuracy of floating-point operations (5.2.4.2.2)
The accuracy of floating-point operations is unknown.
Accuracy of floating-point conversions (5.2.4.2.2)
The accuracy of floating-point conversions is unknown.
Rounding behaviors (5.2.4.2.2)
Evaluation methods (5.2.4.2.2)
Converting integer values to floating-point values (6.3.1.4)
When an integer value is converted to a floating-point value that cannot exactly represent the source value, the round-to-nearest rounding mode is used (FLT_ROUNDS is defined to 1).
Converting floating-point values to floating-point values (6.3.1.5)
When a floating-point value is converted to a floating-point value that cannot exactly represent the source value, the round-to-nearest rounding mode is used (FLT_ROUNDS is defined to 1).
Denoting the value of floating-point constants (6.4.4.2)
The round-to-nearest rounding mode is used (FLT_ROUNDS is defined to 1).
Contraction of floating-point values (6.5)
Floating-point values are contracted. However, there is no loss in precision and because signaling is not supported, this does not matter.
Default state of FENV_ACCESS (7.6.1)
The default state of the pragma directive FENV_ACCESS is OFF.
Additional floating-point mechanisms (7.6, 7.12)
There are no additional floating-point exceptions, rounding-modes, environments, and classifications.
Default state of FP_CONTRACT (7.12.2)
The default state of the pragma directive FP_CONTRACT is ON unless the compiler option ‑‑no_default_fp_contract is used.