Expand description
Rounding relations between a rounded multiple and its original dividend.
These bounds describe mathematical differences, not wrapping EVM subtractions. They are consumed only where the sign or a non-wrapping product is established.
Structs§
- Rounding
Bounds 🔒 anchor - below <= rounded <= anchor + aboveover mathematical integers.