hallo
Ich kann nur sagen, dass document.body.scrollTop in IE bis in neuere Versionen nicht existiert und du wirst wohl eine property Abfrage machen müssen oder eben deine hier verwendete Variante verwenden müssen. Oder um's anders zu sagen, Browser verhalten sich wohl verschieden in der Frage ob sie den overflow auf der body oder dem html (documentElement) anwenden.
Theorie: Damit document.body.scrollTop anwendbar ist, muss das body-Element das html-Element überfliessen.