type(f64 - f32)
