Re: ieframe: Fix a few incorrect pointer/integer casts on x64.