Fixed bug in test of arithmetic helper function that was introduced in
the previous commit...