NavList thread: Biruni and the radius of the Earth by dip