Update the generic 32bit cast