Free functions
| i257_div_rem | Calculates both the quotient and the remainder of the division of a first i257 by a second i257…. |
| i257_assert_no_negative_zero | Checks if the given i257 integer is zero and has the correct sign…. |
| i257_abs | Computes the absolute value of the given i257 integer…. |