when was this spec change made? They explicitly got rid of isInteger in favor of isSafeInteger *only* a few months ago. Did they add it back?