sig val calc : int -> Num.num val phi_string : int -> string end