...
This rule does not apply to demotions of floating-point types on implementations that support signed infinity, such as IEEE 754, as all numbers values are within range are representable.
Noncompliant Code Example (float to int)
...