Reminder/issue to keep track of the fact that we need to fix the float128 dragon4 code for IBM's "double-double" float format on ppc. I'm working on it, should be done soon.