extendedIntegersMeta

The metatype for integers. This is an instance type whose base instance is extended integer, and therefore has all integer range types as instances.