Manipulating time: arithmetic and adding a clock