Zack: I glanced at the design document; it seems that many of these changes could also apply to getting an accurate back-end model of x86 floating-point arithmetic. Is this part of your goal? Brad