128-bit integers on GCC 4.1-4.5

So it looks like the `__int128` type isn't actually available until GCC
4.6.  From 4.1 through 4.5, it looks like we can mimic this type using
the `mode(TI)` attribute.