FormatError now distinguishes between an explicit "ErrorUnknown" or an actually "unknown" error number