use PEAR json package instead of native json_decode, to properly handle bigints