add_nat
blit_nat
compare_digits_nat
compare_nat
complement_nat
create_nat
decr_nat
div_digit_nat
div_nat
incr_nat
initialize_nat
is_digit_int
is_digit_normalized
is_digit_odd
is_digit_zero
land_digit_nat
lor_digit_nat
lxor_digit_nat
mult_digit_nat
mult_nat
nth_digit_nat
num_digits_nat
num_leading_zero_bits_in_digit
set_digit_nat
set_to_zero_nat
shift_left_nat
shift_right_nat
sub_nat