I may regret doing this!
add_integers returns an integer which by inspection of the internal representation is correct, but the print representation is not correct.