Finished the arithmetic implementation - still requires a division
operator, and a to-decimal function, to display the number in
decimal-digit form. Also not fully satisfied with the definition of one
and add1.