i32 + 1 / f64
