jsonfilter: fix printing 64bit values