1This tests that wide-taking (category-2) "calculation" opcodes (math
2ops, comparisons, etc.) verify that their arguments are actually of
3the appropriate types.
4