I view this as a generic hazard of transmuting between representations, which is what is happening here: f32 transmuted to u32 and vice versa, and likewise between f64 and u64. The same issue can occur if an i32 is transmuted to a u32 and then widened to a u64 before being transmuted back to an i64.
1 Like