MIPS64: Implement representation change beetween Word32 and Word64.