Fix #3 json encoding for the decimal