Change PVTCoord.getSphPos to take tai as an argument,
since that's how I use it.