[PATCH] show: don't use hex literals in JSON output

[David Bremner]

On Sun, 22 Jan 2012 01:20:57 +0100, Thomas Jost <schnouki at schnouki.net> 
wrote:
> JSON does not support hex literals (0x..) so numbers must be formatted
> as %d instead of %x.

pushed, 

d