arb: test for the return types of add/sub.