94efbddebd
with digits of 8 or 9) and complain. Fixes PR 8314 by ITOH Yasufumi (but adding the check of hexadecimal numbers).