Reimplement encode_big_decimal_as_string