[rescue] OS X is certified UNIX

[Meelis Roos]

> Another issue is that in 64-bit mode you do not have an FPU.  The FPU is 
> disabled, and all math is done with SIMD instructions, which are generally 
> faster and not as prone to bottlenecks common to the x87 FPU.

Sure about this - got any quote of specification? AFAIK gcc defaults to 
SSE2 floating pint on AMD64 but it's just the default, it seems to be 
still able to use FPU if someone so chooses.

gcc -mfpmath={387,sse} is the option and I tested that both versions 
compiled fine for x86-64.

-- 
Meelis Roos (mroos at linux.ee)