Fix #1027: Proper implementation of identityHashCode().
Merge pull request #1138 from sjrd/identity-hashcode

Fix #1027: Proper implementation of identityHashCode().