utx::le is used to check if the first value is less than or equal to the second value. Their types can be the same or not the same. If their types are not the same type, it gets correct result with no warnings.
Their types must satisfy utx::real_meric.