Zapisywanie do GIF jest nieopłacalne, bo GIF to przestarzała kompresja, obsługująca 256 kolorów, na dodatek pod patentem (który już chyba wygasł). Lepiej brać PNG. Też bezstratna kompresja, a mocniejsza i obsługuje 32-bity kolorów (czyli 24-bity + kanały alpha). Ewentualnie, do animacji polecam MNG. Jest to samo co PNG tylko animowane. Szkoda tylko, że tak mało popularne ;(