Safe arithmetic functions are predicates now.