f32 * int(f64)
