i32 / min(f64)
