#open "ref";;

value error_when_null_denominator_flag : bool ref
  and normalize_ratio_flag : bool ref
  and normalize_ratio_when_printing_flag : bool ref
  and floating_precision : int ref
  and approx_printing_flag : bool ref;;
