slightly reorganize `f32`/`f64`