Improve integer predicate code