Before the notion of real being 80 bits is frozen into code, I want to do some tests to see how much it will cost us performance-wise (using C).