all(list, i32 <= f64)
