sig
  val convert : (string -> 'a) -> string -> string -> string -> 'a
  val to_int : string -> string -> int
  val to_float : string -> string -> float
end