sig 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