Numeric functions stubs
Implemented better predicate building