/* ====================================================================== */
/* The implementation of the abstract floating point class based on gcc's
/* ====================================================================== */
/* The implementation of the abstract floating point class based on gcc's