decimal formatting

Adding the formatting of decimal objects in JSON formatter.