Made 'ishex_digit' slightly prettier.