#, Reading_floating_point_numbers Reading_small_integers
#arith, Arithmetic_overloading Cautious_arithmetic
#fast, Fast_arithmetic
#open, Open_arithmetic
#standard, Standard_arithmetic
**, Arithmetic_overloading Miscellaneous_functions_on_ints
*, Arithmetic_operations_for_floats Arithmetic_operations_for_ints Arithmetic_operations_for_nums Arithmetic_operations_for_ratios Arithmetic_operations_on_big_ints Arithmetic_overloading
+, Arithmetic_operations_for_floats Arithmetic_operations_for_ints Arithmetic_operations_for_nums Arithmetic_operations_for_ratios Arithmetic_operations_on_big_ints Arithmetic_overloading
-, Arithmetic_operations_for_floats Arithmetic_operations_for_ints Arithmetic_operations_for_nums Arithmetic_operations_for_ratios Arithmetic_operations_on_big_ints Arithmetic_overloading Arithmetic_overloading
/, Arithmetic_operations_for_floats Arithmetic_operations_for_ints Arithmetic_operations_for_nums Arithmetic_operations_for_ratios Arithmetic_operations_on_big_ints Arithmetic_overloading
<, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
<=, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
=, Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
>, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
>=, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
abs, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
abs_big_int, Comparisons_between_big_ints
abs_float, Comparisons_between_floats
abs_int, Comparisons_between_ints
abs_num, Comparing_nums
abs_ratio, Comparing_ratios
acos, Floating_point_transcendental_functions
add_big_int, Arithmetic_operations_on_big_ints
add_big_int_ratio, Arithmetic_operations_for_ratios
add_float, Arithmetic_operations_for_floats
add_int, Arithmetic_operations_for_ints
add_int_big_int, Arithmetic_operations_on_big_ints
add_int_ratio, Arithmetic_operations_for_ratios
add_nat, Additions_on_nats
add_num, Arithmetic_operations_for_nums
add_ratio, Arithmetic_operations_for_ratios
approx_num_exp, Approximations_of_nums
approx_num_fix, Approximations_of_nums
approx_ratio_exp, Approximations_of_ratios
approx_ratio_fix, Approximations_of_ratios
arith_status, Arith_status
asin, Floating_point_transcendental_functions
atan, Floating_point_transcendental_functions
base_digit_of_char, Printing_natural_numbers
base_power_big_int, Miscellaneous_power_functions_on_big_ints
big_int, Presentation_of_big_ints
big_int_of_float, Coercion_between_floats_and_big_integers
big_int_of_int, Coercion_between_small_and_big_integers
big_int_of_nat, Coercion_between_natural_and_big_integers
big_int_of_num, Coercion_big_int_num
big_int_of_ratio, Coercion_big_int_ratio
big_int_of_string, Reading_big_integers
biggest_int, Limits_of_ints
blit_nat, Assigning_nats
break, predef_exc
cautious_normalize_num_when_printing, Normalization_of_nums
cautious_normalize_ratio, Normalization_of_ratios
cautious_normalize_ratio_when_printing, Normalization_of_ratios
ceiling, Rounding_nums
ceiling_num, Rounding_nums
ceiling_ratio, Rounding_ratios
char_of_int, Coercions_int_char
coercion, Coercion_between_floats_and_big_integers Coercion_between_small_and_big_integers Coercion_big_int_num Coercion_big_int_ratio Coercion_float_num Coercion_float_ratio Coercion_int_num Coercion_int_ratio Coercion_nat_num Coercion_nat_ratio Coercion_ratio_num Coercions_float_int Coercions_float_nat Coercions_int_char Coercions_int_nat Printing_big_integers Printing_floating_point_numbers Printing_natural_numbers Printing_nums Printing_ratios Printing_small_integers Reading_big_integers Reading_floating_point_numbers Reading_natural_numbers Reading_nums Reading_ratios Reading_small_integers
compare_big_int, Comparisons_between_big_ints
compare_big_int_ratio, Comparing_ratios
compare_digits_nat, Comparisons_between_nats
compare_int, Comparisons_between_ints
compare_nat, Comparisons_between_nats
compare_num, Comparing_nums
compare_ratio, Comparing_ratios
complement_nat, Subtractions_on_nats
copy_nat, Creating_nats
cos, Floating_point_transcendental_functions
create_big_int, Creating_a_big_integer
create_nat, Creating_nats
create_normalized_ratio, Creating_a_ratio
create_ratio, Creating_a_ratio
debug_print_nat, Printing_natural_numbers
debug_string_nat, Printing_natural_numbers
debug_string_vect_nat, Printing_natural_numbers
decimal_of_string, Reading_big_integers
decr, Arithmetic_overloading Incrementing_and_decrementing_float_counters Incrementing_and_decrementing_int_counters Incrementing_and_decrementing_num_counters
decr_float, Incrementing_and_decrementing_float_counters
decr_int, Incrementing_and_decrementing_int_counters
decr_nat, Subtractions_on_nats
decr_num, Incrementing_and_decrementing_num_counters
denominator, Miscellaneous_functions_on_nums
denominator_num, Miscellaneous_functions_on_nums
denominator_ratio, Miscellaneous_functions_on_ratios
display_float, Printing_floating_point_numbers
display_int, Printing_small_integers
display_num, Printing_nums
div_big_int, Arithmetic_operations_on_big_ints
div_big_int_ratio, Arithmetic_operations_for_ratios
div_digit_nat, Divisions_between_nats
div_float, Arithmetic_operations_for_floats
div_int_ratio, Arithmetic_operations_for_ratios
div_nat, Divisions_between_nats
div_num, Arithmetic_operations_for_nums
div_ratio, Arithmetic_operations_for_ratios
div_ratio_big_int, Arithmetic_operations_for_ratios
div_ratio_int, Arithmetic_operations_for_ratios
echo_num, Printing_nums
eq_big_int, Comparisons_between_big_ints
eq_big_int_ratio, Comparing_ratios
eq_float, Comparisons_between_floats
eq_int, Comparisons_between_ints
eq_nat, Comparisons_between_nats
eq_num, Comparing_nums
eq_ratio, Comparing_ratios
exp, Floating_point_transcendental_functions
failure, predef_exc
float, Arithmetic_overloading Coercion_float_num Coercions_float_int Presentation_of_floats
float_num, Approximations_of_nums
float_of_big_int, Coercion_between_floats_and_big_integers
float_of_int, Coercions_float_int
float_of_nat, Coercions_float_nat
float_of_num, Coercion_float_num
float_of_ratio, Coercion_float_ratio
float_of_rational_string, Approximations_of_ratios
float_of_string, Reading_floating_point_numbers
floating, Presentation_of_floats
floor, Rounding_nums
floor_num, Rounding_nums
floor_ratio, Rounding_ratios
gcd, Arithmetic_operations_for_ints Arithmetic_operations_on_big_ints
gcd_big_int, Arithmetic_operations_on_big_ints
gcd_int, Arithmetic_operations_for_ints
gcd_int_nat, Divisions_between_nats
gcd_nat, Divisions_between_nats
ge_big_int, Comparisons_between_big_ints
ge_big_int_ratio, Comparing_ratios
ge_float, Comparisons_between_floats
ge_int, Comparisons_between_ints
ge_nat, Comparisons_between_nats
ge_num, Comparing_nums
ge_ratio, Comparing_ratios
get_approx_printing, Floating_point_approximation_when_printing_rational_numbers
get_arith_overloading, Arithmetic_overloading
get_error_when_null_denominator, Error_when_null_denominator
get_floating_precision, Floating_point_approximation_when_printing_rational_numbers
get_normalize_ratio, Normalization_during_computation Normalization_of_ratios
get_normalize_ratio_when_printing, Normalization_of_ratios Normalization_when_printing
gt_big_int, Comparisons_between_big_ints
gt_big_int_ratio, Comparing_ratios
gt_float, Comparisons_between_floats
gt_int, Comparisons_between_ints
gt_nat, Comparisons_between_nats
gt_num, Comparing_nums
gt_ratio, Comparing_ratios
incr, Arithmetic_overloading Incrementing_and_decrementing_float_counters Incrementing_and_decrementing_int_counters Incrementing_and_decrementing_num_counters
incr_float, Incrementing_and_decrementing_float_counters
incr_int, Incrementing_and_decrementing_int_counters
incr_nat, Additions_on_nats
incr_num, Incrementing_and_decrementing_num_counters
int, Limits_of_ints Reading_small_integers
int_of_big_int, Coercion_between_small_and_big_integers
int_of_char, Coercions_int_char
int_of_float, Coercions_float_int
int_of_nat, Coercions_int_nat
int_of_num, Coercion_int_num
int_of_ratio, Coercion_int_ratio
int_of_string, Reading_small_integers
integer, Limits_of_ints Presentation_of_big_ints Reading_small_integers Rounding_nums
integer_num, Rounding_nums
integer_ratio, Rounding_ratios
inverse_ratio, Arithmetic_operations_for_ratios
io_failure, predef_exc
is_digit_int, Miscellaneous_informations_on_nats
is_digit_normalized, Miscellaneous_informations_on_nats
is_digit_odd, Miscellaneous_informations_on_nats
is_digit_zero, Miscellaneous_informations_on_nats
is_int, Coercion_int_num
is_int_big_int, Coercion_between_small_and_big_integers
is_integer, Rounding_nums
is_integer_num, Coercion_int_num Rounding_nums
is_integer_ratio, Coercion_int_ratio Rounding_ratios
is_nat_int, Miscellaneous_informations_on_nats
is_normalized_ratio, Normalization_of_ratios
is_zero_nat, Miscellaneous_informations_on_nats
land_digit_nat, Logical_operations_on_nats
land_int, Logical_operations_on_ints
latex_print_big_int, Special_printing_functions_on_big_ints
latex_print_for_read_big_int, Special_printing_functions_on_big_ints
latex_print_for_read_nat, Special_printing_functions_on_nats
latex_print_for_read_num, Special_printing_functions_on_nums
latex_print_for_read_ratio, Special_printing_functions_on_ratios
latex_print_nat, Special_printing_functions_on_nats
latex_print_num, Special_printing_functions_on_nums
latex_print_ratio, Special_printing_functions_on_ratios
le_big_int, Comparisons_between_big_ints
le_big_int_ratio, Comparing_ratios
le_float, Comparisons_between_floats
le_int, Comparisons_between_ints
le_nat, Comparisons_between_nats
le_num, Comparing_nums
le_ratio, Comparing_ratios
leading_digit_big_int, Miscellaneous_information_functions_on_big_ints
least_int, Limits_of_ints
length_nat, Lengths_of_nats
length_of_digit, Length_of_a_digit
length_of_int, Limits_of_ints
lnot_int, Logical_operations_on_ints
log, Floating_point_transcendental_functions
log10, Floating_point_transcendental_functions
lor_digit_nat, Logical_operations_on_nats
lor_int, Logical_operations_on_ints
lshift_int, Logical_operations_on_ints
lt_big_int, Comparisons_between_big_ints
lt_big_int_ratio, Comparing_ratios
lt_float, Comparisons_between_floats
lt_int, Comparisons_between_ints
lt_nat, Comparisons_between_nats
lt_num, Comparing_nums
lt_ratio, Comparing_ratios
lxor_digit_nat, Logical_operations_on_nats
lxor_int, Logical_operations_on_ints
make_nat, Creating_nats
max, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
max_big_int, Comparisons_between_big_ints
max_float, Comparisons_between_floats
max_int, Comparisons_between_ints
max_num, Comparing_nums
max_ratio, Comparing_ratios
min, Arithmetic_overloading Comparing_nums Comparing_ratios Comparisons_between_big_ints Comparisons_between_floats Comparisons_between_ints
min_big_int, Comparisons_between_big_ints
min_float, Comparisons_between_floats
min_int, Comparisons_between_ints
min_num, Comparing_nums
min_ratio, Comparing_ratios
minus_big_int, Arithmetic_operations_on_big_ints
minus_float, Arithmetic_operations_for_floats
minus_int, Arithmetic_operations_for_ints Comparisons_between_ints
minus_num, Arithmetic_operations_for_nums
minus_ratio, Arithmetic_operations_for_ratios
mod, Arithmetic_overloading
mod_big_int, Arithmetic_operations_on_big_ints
mod_int, Arithmetic_operations_for_ints
mod_num, Arithmetic_operations_for_nums
monster_int, Arithmetic_operations_for_ints Comparisons_between_big_ints Comparisons_between_ints Incrementing_and_decrementing_ints Limits_of_ints
msd_ratio, Approximations_of_ratios
mult_big_int, Arithmetic_operations_on_big_ints
mult_big_int_ratio, Arithmetic_operations_for_ratios
mult_digit_nat, Multiplications_between_nats
mult_float, Arithmetic_operations_for_floats
mult_int, Arithmetic_operations_for_ints
mult_int_big_int, Arithmetic_operations_on_big_ints
mult_int_ratio, Arithmetic_operations_for_ratios
mult_nat, Multiplications_between_nats
mult_num, Arithmetic_operations_for_nums
mult_ratio, Arithmetic_operations_for_ratios
nat, Length_of_a_digit
nat_of_big_int, Coercion_between_natural_and_big_integers
nat_of_float, Coercions_float_nat
nat_of_int, Coercions_int_nat
nat_of_num, Coercion_nat_num
nat_of_ratio, Coercion_nat_ratio
nat_of_string, Reading_natural_numbers
normalize_num, Normalization_of_nums
normalize_ratio, Normalization_of_ratios
nth_digit_big_int, Miscellaneous_information_functions_on_big_ints
nth_digit_nat, Miscellaneous_informations_on_nats
null_denominator, Miscellaneous_functions_on_ratios
num, Presentation_of_ratios
num_bits_int, Miscellaneous_functions_on_ints
num_decimal_digits_int, Miscellaneous_functions_on_ints
num_digits_big_int, Miscellaneous_information_functions_on_big_ints
num_digits_nat, Lengths_of_nats
num_leading_zero_bits_in_digit, Miscellaneous_informations_on_nats
num_of_big_int, Coercion_big_int_num
num_of_float, Coercion_float_num
num_of_int, Coercion_int_num
num_of_nat, Coercion_nat_num
num_of_ratio, Coercion_ratio_num
num_of_string, Reading_nums
numerator, Miscellaneous_functions_on_nums Rounding_nums
numerator_num, Miscellaneous_functions_on_nums
numerator_ratio, Miscellaneous_functions_on_ratios
overload, Arithmetic_overloading
power, Arithmetic_overloading
power_base_int, Power_functions_on_nats
power_base_nat, Power_functions_on_nats
power_big_int_positive_big_int, Miscellaneous_power_functions_on_big_ints
power_big_int_positive_int, Miscellaneous_power_functions_on_big_ints
power_float, Floating_point_transcendental_functions
power_int, Miscellaneous_functions_on_ints
power_int_positive_big_int, Miscellaneous_power_functions_on_big_ints
power_int_positive_int, Miscellaneous_functions_on_ints Miscellaneous_power_functions_on_big_ints
power_num, Miscellaneous_power_functions_on_nums
power_num_big_int, Miscellaneous_power_functions_on_nums
power_num_int, Miscellaneous_power_functions_on_nums
power_ratio_positive_big_int, Miscellaneous_power_functions_on_ratios
power_ratio_positive_int, Miscellaneous_power_functions_on_ratios
pred, Arithmetic_overloading Incrementing_and_decrementing_floats Incrementing_and_decrementing_ints Incrementing_and_decrementing_nums Incrementing_big_ints
pred_big_int, Incrementing_big_ints
pred_float, Incrementing_and_decrementing_floats
pred_int, Incrementing_and_decrementing_ints
pred_num, Incrementing_and_decrementing_nums
prefix **, Arithmetic_overloading
prefix *, Arithmetic_overloading
prefix +, Arithmetic_overloading
prefix -, Arithmetic_overloading
prefix /, Arithmetic_overloading
prefix <, Arithmetic_overloading
prefix <=, Arithmetic_overloading
prefix >, Arithmetic_overloading
prefix >=, Arithmetic_overloading
prefix mod, Arithmetic_overloading
prefix power, Arithmetic_overloading
prefix quo, Arithmetic_overloading
print, Printing_floating_point_numbers Printing_natural_numbers Printing_small_integers
print_beautiful_big_int, Special_printing_functions_on_big_ints
print_beautiful_nat, Special_printing_functions_on_nats
print_beautiful_num, Special_printing_functions_on_nums
print_beautiful_ratio, Special_printing_functions_on_ratios
print_big_int, Printing_big_integers
print_big_int_for_read, Printing_big_integers
print_float, Printing_floating_point_numbers
print_float_for_read, Printing_floating_point_numbers
print_int, Printing_small_integers
print_int_for_read, Printing_small_integers
print_nat, Printing_natural_numbers
print_nat_for_read, Printing_natural_numbers
print_num, Printing_nums
print_num_for_read, Printing_nums
print_ratio, Printing_ratios
print_ratio_for_read, Printing_ratios
printing, Printing_floating_point_numbers Printing_natural_numbers Printing_small_integers
quo, Arithmetic_overloading
quo_big_int, Arithmetic_operations_on_big_ints
quo_int, Arithmetic_operations_for_ints
quo_num, Arithmetic_operations_for_nums
quomod_big_int, Arithmetic_operations_on_big_ints
ratio_of_big_int, Coercion_big_int_ratio
ratio_of_float, Coercion_float_ratio
ratio_of_int, Coercion_int_ratio
ratio_of_nat, Coercion_nat_ratio
ratio_of_num, Coercion_ratio_num
ratio_of_string, Reading_ratios
report_sign_ratio, Comparing_ratios
round, Rounding_nums
round_futur_last_digit, Approximations_of_ratios
round_num, Rounding_nums
round_ratio, Rounding_ratios
set_approx_printing, Floating_point_approximation_when_printing_rational_numbers
set_digit_nat, Assigning_nats
set_error_when_null_denominator, Error_when_null_denominator
set_floating_precision, Floating_point_approximation_when_printing_rational_numbers
set_length_of_digit, Length_of_a_digit
set_normalize_ratio, Normalization_during_computation Normalization_of_ratios
set_normalize_ratio_when_printing, Normalization_of_ratios Normalization_when_printing
set_to_zero_nat, Assigning_nats
shift_left_nat, Multiplications_between_nats
shift_right_nat, Divisions_between_nats
sign_big_int, Comparisons_between_big_ints
sign_int, Comparisons_between_ints
sign_num, Comparing_nums
sign_ratio, Comparing_ratios
simple_big_int_of_string, Reading_big_integers
sin, Floating_point_transcendental_functions
sqrt, Floating_point_transcendental_functions
sqrt_big_int, Miscellaneous_power_functions_on_big_ints
sqrt_nat, Power_functions_on_nats
square_big_int, Arithmetic_operations_on_big_ints
square_nat, Multiplications_between_nats
square_num, Arithmetic_operations_for_nums
square_ratio, Arithmetic_operations_for_ratios
string_for_read_of_big_int, Printing_big_integers
string_for_read_of_float, Printing_floating_point_numbers
string_for_read_of_int, Printing_small_integers
string_for_read_of_nat, Printing_natural_numbers
string_for_read_of_num, Printing_nums
string_for_read_of_ratio, Printing_ratios
string_of_big_int, Printing_big_integers
string_of_digit, Printing_natural_numbers
string_of_float, Printing_floating_point_numbers
string_of_int, Printing_small_integers
string_of_nat, Printing_natural_numbers
string_of_num, Printing_nums
string_of_ratio, Printing_ratios
sub_big_int, Arithmetic_operations_on_big_ints
sub_float, Arithmetic_operations_for_floats
sub_int, Arithmetic_operations_for_ints
sub_nat, Subtractions_on_nats
sub_num, Arithmetic_operations_for_nums
sub_ratio, Arithmetic_operations_for_ratios
succ, Arithmetic_overloading Incrementing_and_decrementing_floats Incrementing_and_decrementing_ints Incrementing_and_decrementing_nums Incrementing_big_ints
succ_big_int, Incrementing_big_ints
succ_float, Incrementing_and_decrementing_floats
succ_int, Incrementing_and_decrementing_ints
succ_num, Incrementing_and_decrementing_nums
sys_big_int_of_string, Reading_big_integers
sys_float_of_nat, Coercions_float_nat
sys_float_of_string, Reading_floating_point_numbers
sys_int_of_nat, Coercions_int_nat
sys_int_of_string, Reading_small_integers
sys_latex_print_big_int, Special_printing_functions_on_big_ints
sys_latex_print_nat, Special_printing_functions_on_nats
sys_latex_print_num, Special_printing_functions_on_nums
sys_latex_print_ratio, Special_printing_functions_on_ratios
sys_nat_of_string, Reading_natural_numbers
sys_num_of_string, Reading_nums
sys_print_beautiful_big_int, Special_printing_functions_on_big_ints
sys_print_beautiful_nat, Special_printing_functions_on_nats
sys_print_beautiful_num, Special_printing_functions_on_nums
sys_print_beautiful_ratio, Special_printing_functions_on_ratios
sys_print_big_int, Printing_big_integers
sys_print_nat, Printing_natural_numbers
sys_print_num, Printing_nums
sys_print_ratio, Printing_ratios
sys_ratio_of_string, Reading_ratios
sys_string_list_of_nat, Printing_natural_numbers
sys_string_of_big_int, Printing_big_integers
sys_string_of_digit, Printing_natural_numbers
sys_string_of_int, Printing_small_integers
sys_string_of_nat, Printing_natural_numbers
sys_string_of_num, Printing_nums
sys_string_of_ratio, Printing_ratios
verify_null_denominator, Miscellaneous_functions_on_ratios
zero_big_int, Comparisons_between_big_ints
