Glossary

Arithmetic

Addition (x + y), multiplication (x * y), etc.

Interval Arithmetic

See the interval arithmetic note.

Modular Arithmetic

Arithmetic that wraps around at a certain modulus, such as 256 for the base.u8 type. For example, if x is a base.u8 with value 200, then (x + 70) has value 270, but (x ~mod+ 70) has value 14.

Saturating Arithmetic

Arithmetic that stops at certain bounds, such as 0 and 255 for the base.u8 type. For example, if x is a base.u8 with value 200, then (x + 70) has value 270, but (x ~sat+ 70) has value 255.