Searched refs:numpointnum (Results 1 – 1 of 1) sorted by relevance
57 static EST_Regex numpointnum("[0-9]*\\.[0-9]+"); variable260 else if (tok.matches(numpointnum)) in builtin_word_it()