(1 + f64) / i32
