Fix error-reporting in hexadecimal floating-point numbers