Added an encoder in order to dump Decimal values