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

Integer is a constraint that permits any integer type.

Number is a constraint that permits any 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.

Unsigned is a constraint that permits any unsigned integer type.