Follow-up for FP: invalid operation: contradiction between C (UB) and IEEE 754 (WDB)?.
When the C standard leaves a gap, other standards and other specif
