i64 >= 1 + f64
