Fix parsing of decimal numbers in RangeElement ranges.