i32 / (f64 - 1)
