If this would be the case (i.e. one "primitive" library for plain TOS apps and one "advanced" library for ported stuff)... hell, why not? ;-) But yes, topis is about MPFR ;-)
And this list is about MiNT ;-);-) -- Vincent Rivière