Current LEOGPS basically performs pseudorange double differencing. Should eventually move towards carrier double differencing with IAR.