[math-fun] Earth = mathematical ellipsoid ??