ga_int cannot be anything other than 32 bits.  This is a hard guarantee made by the gpuarray code.  I guess I could add a comment for casual inspectors, but meh.