Sign extend on 64 bit in converting double to integer