none(list, i64 < f64)
