sig
  val error_when_null_denominator_flag : bool Pervasives.ref
  val normalize_ratio_flag : bool Pervasives.ref
  val normalize_ratio_when_printing_flag : bool Pervasives.ref
  val floating_precision : int Pervasives.ref
  val approx_printing_flag : bool Pervasives.ref
end