correct sign when casting int to double in asm