A Theoretical and Practical Arithmetic