No es que te equivoques, es que te pasa lo que le mencionaba a javierB.
Si lo pruebas desde otro navegador verás que te da en px el alto del documento; más contenidos, un valor más alto, pero explorer devuelve siempre lo mismo. Por eso preguntaba si alguien conoce algún truco
