float(f64 * f32)
