Fork of json_spirit v4.06 with fix to decimal formatting bug