* Make sure big hex numbers are handled correctly