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