CssHighlighter matches numbers with decimal part as well