Tests for the binary arithmetic bug