Capitalize statics in f32 and f64 mods

Fixes #10077