Conversion from 64bit to 32bit