Does our language seriously lack an integer-equality test (other than this contrivance) ?