i64 <= min(f64)
