Avoid dropping into the decimal rule for digits following .., because that's a range, not a decimal point.
Fixes #9, mostly. It's not quite right because it causes the first digit after the .. to not be underlined when it should, but it's at least more accurate overall.
Avoid dropping into the decimal rule for digits following
..
, because that's a range, not a decimal point.Fixes #9, mostly. It's not quite right because it causes the first digit after the
..
to not be underlined when it should, but it's at least more accurate overall.