Talk:Regular numerical predicate