float(f32) * f32
