Fix errors with loading/dumping of decimal constants