sig
  val 'acellof : int -> acell
  val 'acellof : int -> acell
  val 'max_int : int
  val 'min_int : int
  val 'zero_bint : bint
  val 'unit_bint : bint
  val '+ : bint -> float -> float
  val 'add : bint -> float -> float
  val '- : posgbf -> posgbf -> posgbf
  val 'sub : posgbf -> posgbf -> posgbf
  val '* : bint -> float -> float
  val 'mult : bint -> float -> float
  val '/ : bint -> float -> float
  val 'div : bint -> float -> float
  val '** : bint -> float -> float
  val 'pow : bint -> float -> float
  val '== : any -> any -> bool
  val 'equal : any -> any -> bool
  val '!= : any -> any -> bool
  val 'notequal : any -> any -> bool
  val '=== : any -> any -> bool
  val 'pequal : any -> any -> bool
  val '!=== : any -> any -> bool
  val 'notpequal : any -> any -> bool
  val 'compare : any -> any -> int
  val '< : bint -> float -> bool
  val 'lt : bint -> float -> bool
  val '<= : bint -> float -> bool
  val 'leq : bint -> float -> bool
  val '> : bint -> float -> bool
  val 'gt : bint -> float -> bool
  val '>= : bint -> float -> bool
  val 'geq : bint -> float -> bool
  val 'power : bint -> bint -> bint
  val 'atan2 : int -> bint -> float
  val 'mod : bint -> int -> bint
  val 'max : bint -> int -> bint
  val 'min : bint -> int -> bint
  val 'exp : bint -> float
  val 'acos : bint -> float
  val 'asin : bint -> float
  val 'atan : bint -> float
  val 'cos : bint -> float
  val 'sin : bint -> float
  val 'tan : bint -> float
  val 'cosh : bint -> float
  val 'sinh : bint -> float
  val 'tanh : bint -> float
  val 'log : bint -> float
  val 'log10 : bint -> float
  val 'sqrt : bint -> float
  val 'ceil : float -> int
  val 'floor : float -> int
  val 'abs : float -> float
  val 'intof : float -> int
  val 'int_of : float -> int
  val 'bintof : float -> bint
  val 'bint_of : float -> bint
  val 'floatof : float -> float
  val 'float_of : float -> float
  val 'what_float : float -> int
  val 'succ : float -> float
  val 'nCp : bint -> bint -> bint
  val 'nAp : bint -> bint -> bint
  val 'infinity : float
  val 'neg_infinity : float
  val 'nan : float
  val 'max_float : float
  val 'min_float : float
  val 'epsilon_float : float
  val 'E : float
  val 'LOG2E : float
  val 'LOG10E : float
  val 'LN2 : float
  val 'LN10 : float
  val 'PI : float
  val 'PI_2 : float
  val 'PI_4 : float
  val '1_PI : float
  val '2_PI : float
  val '2_SQRT_PI : float
  val 'SQRT2 : float
  val 'SQRT1_2 : float
  val 'random : int -> int
  val 'qrngmake : string -> int
  val 'qrnginit : int
  val 'qrngget : int
  val 'qrngsample : int
  val 'qrngname : string
  val 'qrngdimension : int
end