What formula is the IntegerExponent function using?

Or perhaps is it a algorithm? How does one tell?

Maybe this or this helps.