correctly rounded sqrt() asm for x86 (i387)