(i64 + f64) / 1 * 1
