Symbol: ArtificialIntegerType