sig
  val floor : FOTerm.t
  val ceiling : FOTerm.t
  val truncate : FOTerm.t
  val round : FOTerm.t
  val prec : FOTerm.t
  val succ : FOTerm.t
  val sum : FOTerm.t
  val difference : FOTerm.t
  val uminus : FOTerm.t
  val product : FOTerm.t
  val quotient : FOTerm.t
  val quotient_e : FOTerm.t
  val quotient_t : FOTerm.t
  val quotient_f : FOTerm.t
  val remainder_e : FOTerm.t
  val remainder_t : FOTerm.t
  val remainder_f : FOTerm.t
  val less : FOTerm.t
  val lesseq : FOTerm.t
  val greater : FOTerm.t
  val greatereq : FOTerm.t
  val pp_hook : print_hook
end