f64 / f32 in [f32]
