Fixing decimal encoding/decoding for decimals ending in .0