sig   type ratio   val null_denominator : Ratio.ratio -> bool   val numerator_ratio : Ratio.ratio -> Big_int.big_int   val denominator_ratio : Ratio.ratio -> Big_int.big_int   val sign_ratio : Ratio.ratio -> int   val normalize_ratio : Ratio.ratio -> Ratio.ratio   val cautious_normalize_ratio : Ratio.ratio -> Ratio.ratio   val cautious_normalize_ratio_when_printing : Ratio.ratio -> Ratio.ratio   val create_ratio : Big_int.big_int -> Big_int.big_int -> Ratio.ratio   val create_normalized_ratio :     Big_int.big_int -> Big_int.big_int -> Ratio.ratio   val is_normalized_ratio : Ratio.ratio -> bool   val report_sign_ratio : Ratio.ratio -> Big_int.big_int -> Big_int.big_int   val abs_ratio : Ratio.ratio -> Ratio.ratio   val is_integer_ratio : Ratio.ratio -> bool   val add_ratio : Ratio.ratio -> Ratio.ratio -> Ratio.ratio   val minus_ratio : Ratio.ratio -> Ratio.ratio   val add_int_ratio : int -> Ratio.ratio -> Ratio.ratio   val add_big_int_ratio : Big_int.big_int -> Ratio.ratio -> Ratio.ratio   val sub_ratio : Ratio.ratio -> Ratio.ratio -> Ratio.ratio   val mult_ratio : Ratio.ratio -> Ratio.ratio -> Ratio.ratio   val mult_int_ratio : int -> Ratio.ratio -> Ratio.ratio   val mult_big_int_ratio : Big_int.big_int -> Ratio.ratio -> Ratio.ratio   val square_ratio : Ratio.ratio -> Ratio.ratio   val inverse_ratio : Ratio.ratio -> Ratio.ratio   val div_ratio : Ratio.ratio -> Ratio.ratio -> Ratio.ratio   val integer_ratio : Ratio.ratio -> Big_int.big_int   val floor_ratio : Ratio.ratio -> Big_int.big_int   val round_ratio : Ratio.ratio -> Big_int.big_int   val ceiling_ratio : Ratio.ratio -> Big_int.big_int   val eq_ratio : Ratio.ratio -> Ratio.ratio -> bool   val compare_ratio : Ratio.ratio -> Ratio.ratio -> int   val lt_ratio : Ratio.ratio -> Ratio.ratio -> bool   val le_ratio : Ratio.ratio -> Ratio.ratio -> bool   val gt_ratio : Ratio.ratio -> Ratio.ratio -> bool   val ge_ratio : Ratio.ratio -> Ratio.ratio -> bool   val max_ratio : Ratio.ratio -> Ratio.ratio -> Ratio.ratio   val min_ratio : Ratio.ratio -> Ratio.ratio -> Ratio.ratio   val eq_big_int_ratio : Big_int.big_int -> Ratio.ratio -> bool   val compare_big_int_ratio : Big_int.big_int -> Ratio.ratio -> int   val lt_big_int_ratio : Big_int.big_int -> Ratio.ratio -> bool   val le_big_int_ratio : Big_int.big_int -> Ratio.ratio -> bool   val gt_big_int_ratio : Big_int.big_int -> Ratio.ratio -> bool   val ge_big_int_ratio : Big_int.big_int -> Ratio.ratio -> bool   val int_of_ratio : Ratio.ratio -> int   val ratio_of_int : int -> Ratio.ratio   val ratio_of_nat : Nat.nat -> Ratio.ratio   val nat_of_ratio : Ratio.ratio -> Nat.nat   val ratio_of_big_int : Big_int.big_int -> Ratio.ratio   val big_int_of_ratio : Ratio.ratio -> Big_int.big_int   val div_int_ratio : int -> Ratio.ratio -> Ratio.ratio   val div_ratio_int : Ratio.ratio -> int -> Ratio.ratio   val div_big_int_ratio : Big_int.big_int -> Ratio.ratio -> Ratio.ratio   val div_ratio_big_int : Ratio.ratio -> Big_int.big_int -> Ratio.ratio   val approx_ratio_fix : int -> Ratio.ratio -> string   val approx_ratio_exp : int -> Ratio.ratio -> string   val float_of_rational_string : Ratio.ratio -> string   val string_of_ratio : Ratio.ratio -> string   val ratio_of_string : string -> Ratio.ratio   val float_of_ratio : Ratio.ratio -> float   val power_ratio_positive_int : Ratio.ratio -> int -> Ratio.ratio   val power_ratio_positive_big_int :     Ratio.ratio -> Big_int.big_int -> Ratio.ratio end