Float is a constraint that any floating type satisfies.

Integer is a constraint that any integer type satisfies.

Number is a constraint that any numeric type satisfies.

Signed is a constraint that any signed integer type satisfies.

Unsigned is a constraint that any unsigned integer type satisfies.