pub fn floor_order(input: &[ExprProperties]) -> Result<SortProperties>
Non-decreasing for all real numbers.