i thought google was derived from googol, as in the large number.