Pondering Rust's fascination with f32 types. I remember being concerned about memory usage and floats vs doubles in the late '90s, but in the intervening decades I thought we'd kinda agreed that unless there's lots of them, doubles were faster. Am I just the wrong level of old?