IDP-Z3 incorrectly domain checks numericals on equality

In my opinion, this file should work, but the domain check of the equality does not allow for it. While this makes sense for the other comparisons, as these always require numerical types, equality should not do such a check.