Mini-rust in Rust 046: Type-checking mutations

When we see "x *= 1.3" we need to check that x is a float - otherwise this is a compile error. More info: https://artificialworlds.net/blog/2025/09/12/mini-rust-in-rust-046-type-check-mutations