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