(f64 + i64) / i32
