Mental Arithmetic Processes: Testing the Independence of Encoding and Calculation