min(i64 / f64)
