none(list, i64 <= f64)
