Fix: add implementation of hashCode() and equals() to NumberProperty, to make the caching work as expected.