IntegerLiteralType

The default type for an otherwise-unconstrained integer literal.