The strict constraints imply that the results of all expressions must be those predicted by IEEE 754 arithmetic on operands represented in single and double precision formats.

• 严格约束意味着所有表达式的结果都必须是IEEE 754算法对操作数预期的结果,以单精度和双精度格式表示。