num_digits_nat -1... 0... 1... length_nat 1... equal_nat 1... 2... 3... 4... incr_nat 1... 2... 3... 4... decr_nat 1... 2... 3... 4... is_zero_nat 1... 2... 3... 4... string_of_nat 1... 2... string_of_nat && nat_of_string 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... gcd_nat 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... sqrt_nat 1... 2... 3... 4... 5... compare_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... pred_big_int 1... 2... 3... succ_big_int 1... 2... 3... add_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... sub_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... mult_int_big_int 1... 2... 3... 4... mult_big_int 1... 2... 3... 4... 5... quomod_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... 25... gcd_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... 25... 26... 27... 28... int_of_big_int 1... 2... 3... 4... 5... 6... 7... 8... is_int_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... sys_string_of_big_int 1... big_int_of_string 1... 2... 4... 5... 6... 7... 9... 10... 18... 19... 20... 21... power_base_int 1... 2... 3... base_power_big_int 1... 2... 3... power_int_positive_big_int 1... 2... 3... 4... 5... 6... 7... power_big_int_positive_int 1... 2... 3... 4... 5... power_big_int_positive_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... square_big_int 1... 2... 3... 4... big_int_of_nativeint 1... 2... 3... nativeint_of_big_int 1... 2... 2... big_int_of_int32 1... 2... 3... int32_of_big_int 1... 2... 3... 4... 5... 6... 7... 8... big_int_of_int64 1... 2... 3... 4... 5... 6... 7... 8... int64_of_big_int 1... 2... 3... 4... 5... 6... 7... 8... and_big_int 1... 2... 3... 4... 5... 6... or_big_int 1... 2... 3... 4... 5... 6... xor_big_int 1... 2... 3... 4... 5... 6... shift_left_big_int 1... 2... 2... 3... 4... 5... 6... shift_right_big_int 1... 2... 3... 4... 5... 6... shift_right_towards_zero_big_int 1... 2... extract_big_int 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... hashing of big integers 1... 2... 3... 4... 5... 6... create_ratio 1... 2... 3... 4... 5... 6... 7... 8... create_normalized_ratio 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... null_denominator 1... 2... sign_ratio 1... 2... 3... normalize_ratio 1... 2... 3... 4... report_sign_ratio 1... 2... is_integer_ratio 1... 2... add_ratio 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 1... 2... 3... 4... sub_ratio 1... 2... 3... 4... 5... 6... 7... 8... mult_ratio 1... 2... 3... 4... 5... 6... 7... 8... div_ratio 1... 2... 3... 4... 5... 6... 7... 8... integer_ratio 1... 2... 3... 4... 5... floor_ratio 1... 2... 3... 4... 5... round_ratio 1... 2... 3... 4... 5... ceiling_ratio 1... 2... 3... 4... 5... 6... eq_ratio 1... 2... 3... 4... 5... compare_ratio 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... 25... 26... 27... 28... 29... 30... 31... 32... 33... 34... 35... 36... eq_big_int_ratio 1... 2... 3... 4... 5... compare_big_int_ratio 1... 2... 3... 4... 5... 6... 7... 8... 9... int_of_ratio 1... 2... 3... 4... 5... ratio_of_int 1... 2... nat_of_ratio 1... 2... 3... 4... ratio_of_big_int 1... big_int_of_ratio 1... 2... 3... string_of_ratio 1... 2... 3... 4... ratio_of_string 1... 6... 7... 8... round_futur_last_digit 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... approx_ratio_fix 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... approx_ratio_exp 1... 2... 3... 4... 5... 6... 7... 8... 9... add_num 1... 2... 3... 4... 5... 6... 7... 8... 9... sub_num 1... 2... 3... 4... 5... 7... 8... 9... 10... mult_num 1... 2... 3... 4... 5... 6... 7... 8... 9... div_num 1... 2... 3... 4... 5... 6... 7... 8... 9... is_integer_num 1... 2... 3... 4... num_of_ratio 1... 2... 3... num_of_string 1... 7... 8... 11... 12... 13... 14... 15... output_value/input_value on nats 1... 2... 3... 4... 5... 6... 7... output_value/input_value on big ints 1... 2... 3... 4... 5... output_value/input_value on nums 1... 2... 3... 4... 5... 6... 7... 8... ************* TESTS COMPLETED SUCCESSFULLY ****************