sig
  type num
  val num_of_int : int -> It_type.IT.NUM.num
  val mult_num :
    It_type.IT.NUM.num -> It_type.IT.NUM.num -> It_type.IT.NUM.num
  val power_num :
    It_type.IT.NUM.num -> It_type.IT.NUM.num -> It_type.IT.NUM.num
  val num_of_string : string -> It_type.IT.NUM.num
end