For GPS receivers that give 1 PPS output the spacing between pulses is, obviously, very accurate. Are the pulses synchronized to something, like UTC seconds, or does it vary from one manufacturer to another, or even one unit to another? Thanks Robert