Disabling floating point code in mini-gmp?

[Marc Glisse]

On Wed, 24 Sep 2025, Niels Möller wrote:

> My motivation for disabling floats in particular is for supporting
> embedded systems without floating point, where it's desirable to not get
> a link dependency on a software float implementation.

Makes sense to me.

> Proposed patch below. What do you think?

Do you also want to patch the .h files, or is a link-time error sufficient 
if someone tries to use a disabled function? I am not sure how compilers 
react if they see a declaration using double when they don't support 
double, if they complain immediately or wait until they see actual code 
using double to complain or never complain and generate calls to 
soft-float.

-- 
Marc Glisse