GPS differenziale con Arduino per robot

ho trovato una libreria per decimali a 64bit con l'atmega! 64 Bit float Emulator in C, IEEE754 compatibel - Mikrocontroller.net
ora devo solo riuscire ad usarla -.-"