all(list, f64 <= i32)
