Changed the 32-bit counter for arrival time processing into a 48-bit one to accomodate much higher receiver clock frequencies (e.g., 16 MHz).