However, in many high-level languages == is written in C, and reimplementing it in the high-level language can be quite slow in comparison.

You know, it'd be handy if such high-level languages implemented a separate =$= operator that worked just like ==, but was timing-independent.