integer ambiguity resolution (IAR)