sig
  val floor : Builtin.t
  val ceiling : Builtin.t
  val truncate : Builtin.t
  val round : Builtin.t
  val prec : Builtin.t
  val succ : Builtin.t
  val sum : Builtin.t
  val difference : Builtin.t
  val uminus : Builtin.t
  val product : Builtin.t
  val quotient : Builtin.t
  val quotient_e : Builtin.t
  val quotient_t : Builtin.t
  val quotient_f : Builtin.t
  val remainder_e : Builtin.t
  val remainder_t : Builtin.t
  val remainder_f : Builtin.t
  val is_int : Builtin.t
  val is_rat : Builtin.t
  val to_int : Builtin.t
  val to_rat : Builtin.t
  val less : Builtin.t
  val lesseq : Builtin.t
  val greater : Builtin.t
  val greatereq : Builtin.t
end