An Arithmetic Type