third_party_decimal.js