JS backend: make hashCode() calls work on Number