Rust: floating point to integer casts can cause undefined behaviour | Heykuki News