GPS and TAI time do not correct for leap seconds, so you have to factor in the accumulated number of leap seconds since their respective epochs, (35 seconds for TAI, 16 seconds for GPS) to derive UTC.
Not an issue for most computers to comprehend if the programmer had any brains.