i64 * (f64 - i)
