Free functions
| average | Returns the average of two unsigned integers. The result is rounded down. |
| u256_mul_div | Returns the quotient of x * y / denominator and rounds up or down depending on rounding . Uses wide_mul and u512_safe_div_rem_by_u256 for precision. Requirements:… |