improved highlighting rule for decimal point