An arithmetic type