fix typo in `f32`/`f64`