A very simple library for converting between different GPS co-ordinate formats