move floating point intrinsics to `f32`/`f64`