Fix bugs in numerical equality predicate.