module Arith: sig .. end
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