Altergo hexadecimal numbers
Altergo does not seem to understand hexadecimal numbers (?) but there are hexadecimal constants in theory floating_point. This is a ticket to change alt_ergo's driver so that hexadecimal numbers are automatically converted to decimal.