ça doit être basé sur un opcode du fpu je suppose, si la libc est bien faite, mais sous winxp j'ai un doute