Root of the sample_add17 branch. This branch is an example for contributors and will be used to give information on the MPFR website (with "git diff"). It must never be used for development.
Root of the sample_add17 branch. This branch is an example for contributors and will be used to give information on the MPFR website (with "git diff"). It must never be used for development.