updated number predicate builtins