(Range.number_re): Now accepts floats that do not have a leading 0 (.5 is now accepted as well as 0.5).