Prints numbers in hex to get around ODIN_II problems.