Philippe Schaffnit wrote:
Sorry about the (possibly off) question: would this apply also to GMP/MPFR, if not, wouldn't it make sense?
It wouldn't make sense -- GMP and MPFR are never linked into the compiled output at all. (They're only used within the compiler itself, for processing constant values and suchlike, and then the results from that are put in the compiled file.)
- Brooks
