visto che non ci sono proprietà che restituiscano l' altezza del documento (da quanto ricordi) forse conviene basarsi sempre sulla quantità di pixel già scrollati (*), x conoscerla:
codice:
function rFTop(){
var fTop=0
	if(document.all){
		if(document.getElementById && document.compatMode!="BackCompat")
			fTop=top.sinistra.document.documentElement.scrollTop
		else 
			fTop=top.sinistra.document.body.scrollTop
	}
	else fTop=top.sinistra.pageYOffset
return fTop
}
alert(rFTop())
se una volta effettuato lo scrollTo questa quantità non è cambiata sei giunto a fine documento

* tra l' altro lo script da te postato, basando lo scroll su una variabile, può dare risultati inaspettati:
a mano potrei scrollare il documento con le normali scrollbar
oppure fare un refresh ritrovandomi con il documento scrollato ma con la variabile azzerata

ciao