Bug#1067957: [[maude-bugs]] [EXTERNAL] Re: Maude fails to build on armhf

Steven Eker <[email protected]> writes:

> This is harmless on 64-bit architectures since Index will be a signed
> 64-bit integer and if it works on 32-bit architectures, it's a work 
> around until GMP is fixed (hopefully before 2038).

I know this suggestion is unorthodox, and quite possibly moot at this
point in the context of official Debian packages -- but you might want
to consider formally going through double here, at least on the relevant
platforms.  Precision loss shouldn't be a concern for another 140
million years or so by my reckoning, and I expect the additional
conversion overhead would be negligible in practice.

Thanks!