int(i64 / f64)
