Thorough testing of binary numeric operators

Better constant folding means that some of the tests weren't testing
much at run time.