In mCRL2 numbers are represented using rewrite systems. The representation is based on binary operations. This is relatively concise but far less efficient than 64 bits operations on numbers available in processors. I will explain ongoing work towards an attempt to reap the benefits of processor arithmetic without loosing the advantages of the numbers represented as rewrite systems.