Added _divisible_ and _divisibleWithRemainder_ predicates