Complex is a constraint that permits any complex numeric type.

Float is a constraint that permits any floating-point type.

Integer is a constraint that permits any integer type.

Numeric is a constraint that permits any simple or complex numeric type.

Ordered is a constraint that permits any ordered type: any type that supports the operators < <= >= >.

Signed is a constraint that permits any signed integer type.

Simple is a constraint that permits any simple numeric type.

Unsigned is a constraint that permits any unsigned integer type.