Fix json encoding for the decimal