functor (Num : NUM) ->
  sig
    val num_fix_unsigned : (char, Num.num) It_type.IT.iteratee
    val num_fix : (char, Num.num) It_type.IT.iteratee
    val num_of_string_fix : string -> Num.num It_type.IT.It_IO.m
  end