Fixed a bug in decimal printing