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

[Aaron M. Ucko]

Steven Eker <eker at csl.sri.com> 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!

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?amu@monk.mit.edu