I think that the antipodal distance is measured in variance from 180deg. What I’d like to know is why they’re using 16 digits after the decimal. That’s literally angstrom-level precision, which is obviously unnecessary for cities that cover several minutes of latitude in diameter.