Thanks, Peter. But is there a way to get a more exact answer? (GPS coordinates are typically given down to the ten-thousandths of a minute, and 2^32/600,000 would cause me to round to 7158 and therefore reduce the accuracy.)

PS. Sorry if I am missing a simple solution to this.