Extending the rationals arithmetic definitions