ditch the "0x" prefix when printing out uint256 values in hex