Ah, that’s another interesting possibility. I definitely observed that the actual HDMI refresh rate is 59.94 Hz while playing Super Mario Maker, but no idea what the game’s internal frame rate is.