Member predicate TypeAnnotation :: isNumber
Holds if this is the number type. Does not hold for the (rarely used) Number type.
predicate
isNumber
(
)