Sensible time_util.GPSTime __str__