sig
  val int_of_bool : Lang.F.unop
  val bool_of_int : Lang.F.unop
  val int_of_real : Lang.F.term -> Lang.F.term
  val real_of_int : Lang.F.term -> Lang.F.term
  val f_real_of_int : Lang.lfun
  val f_iabs : Lang.lfun
  val f_rabs : Lang.lfun
  val f_sqrt : Lang.lfun
end