Preferably not :)
Gmp.mpf could be used when the normal float isn't enough, though, the same way GMP.mpz are used when INT_TYPE isn't enough. (1e1000) But the benefit would be very small, so I'd vote against it unless someone is *really* bored and feels like doing it.
/ Mirar
Previous text:
2003-02-25 13:48: Subject: Re: Do we have a floatingpoint bug?
But of course, but not as the default float type. :-)
/ Per Hedbor ()