BUG(2480): Replace int32 with int64 on the wire and in xmmstypes.