But pattern matching for Double or Float is a Bad Thing, so
wouldn’t the solution to this be to put the EQ constraint
somewhere else, such as Integral where it would be less
improper?
Great call, since you are already ensured you can convert to Integer