convertor for 64 bits