Fix handling of decimal numbers.