numbers are smaller than all other types. non-number types compare lexicographically by type name.