let str s = 
  try let res = raw s in if compare res nan = 0 then "NaN" else soff res 
  with 
    | Mathcommon.Unit -> !_str_unit
    | _ -> str_error