> We generally ignore such differences on x86, because it all depends > upon how much of the floating-point computation gets done at 80bits, ... > perhaps we should take the x86_64 results as "correct" and ignore > differences on x86. Shouldn't we just have two different platform-specific regression outputs?