An Arithmetic type