maptype on number predicates