There are 41 opcodes in arithmetic group.

(sorted alphabetically)

- add — add two numbers and produce a number
- checkedsadd — perform checked addition of two bits values treating them as signed integers
- checkedsdecrement — perform checked decrementation of a bits value treating it as a signed integer
- checkedsdiv — perform checked division of two bits values treating them as signed integers
- checkedsincrement — perform checked incrementation of a bits value treating it as a signed integer
- checkedsmul — perform checked multiplication of two bits values treating them as signed integers
- checkedssub — perform checked subtraction of two bits values treating them as signed integers
- checkeduadd — perform checked addition of two bits values treating them as unsigned integers
- checkedudecrement — perform checked decrement of a bits value treating it as an unsigned integer
- checkedudiv — perform checked division of two bits values treating them as unsigned integers
- checkeduincrement — perform checked increment of a bits value treating it as an unsigned integer
- checkedumul — perform checked multiplication of two bits values treating them as unsigned integers
- checkedusub — perform checked subtraction of two bits values treating them as unsigned integers
- div — divide two numbers and produce a number
- eq — check two numbers for equality
- gt — compare two numbers
- gte — compare two numbers
- idec — decrement an integer
- iinc — decrement an integer
- lt — compare two numbers
- lte — compare two numbers
- mul — multiply two numbers
- saturatingsadd — perform saturating addition of two bits values treating them as signed integers
- saturatingsdecrement — perform saturating decrement of a bits value treating it as a signed integer
- saturatingsdiv — perform saturating division of two bits values treating them as signed integers
- saturatingsincrement — perform saturating increment of a bits value treating it as a signed integer
- saturatingsmul — perform saturating multiplication of two bits values treating them as signed integers
- saturatingssub — perform saturating subtraction of two bits values treating them as signed integers
- saturatinguadd — perform saturating addition of two bits values treating them as unsigned integers
- saturatingudecrement — perform saturating decrement of a bits value treating it as a unsigned integer
- saturatingudiv — perform saturating division of two bits values treating them as unsigned integers
- saturatinguincrement — perform saturating increment of a bits value treating it as a unsigned integer
- saturatingumul — perform saturating multiplication of two bits values treating them as unsigned integers
- saturatingusub — perform saturating subtraction of two bits values treating them as unsigned integers
- sub — subtract two numbers
- wrapadd — perform wrapping addition of two bits values treating them as signed integers
- wrapdecrement — perform wrapping decrement of a bits value treating it as a unsigned integer
- wrapdiv — perform wrapping division of two bits values treating them as signed integers
- wrapincrement — perform wrapping increment of a bits value treating it as a unsigned integer
- wrapmul — perform wrapping multiplication of two bits values treating them as signed integers
- wrapsub — perform wrapping subtraction of two bits values treating them as signed integers