export const WGS84_RADIUS: number; export const WGS84_FLATTENING: number; export const WGS84_HEIGHT: number;