Casting uint32 could create negative int