Fixing encoding of decimals ending in .0 or 0.0