f64 * int(f64)
