fix #3142, improve === on integers
fix a pointer comparison