Didn't the standard say it was an INT32, or is it a UINT and we're mapping an INT onto it?