Second part of patches submitted in the v3.
This series adds a subset of single precision and
double precision instructions using
set_floatx80_rounding_precision() to round the result.
For some other instructions, we introduce a new
function, floatx80_round(), to round them manually.
It also add
This series modifies the original ColdFire FPU implementation
to use floatx80 instead of float64 internally as this
is the native datatype for 680x0. I didn't keep the float64
type for ColdFire, but if someone thinks it's required I
can update this series in this way.
The series also adds the FPU
