Implement HASH_CODE operator for JSON type