Computer algebra systems are the typical example. They’ll have a ‘Number’ type that, among others, has integers, rationals, algebraic numbers, etc. They also c

Computer algebra systems are the typical example. They’ll have a ‘Number’ type that, among others, has integers, rationals, algebraic numbers, etc. They also can come in handy in various puzzle problems.