Maude fails to build on armhf

Hi,

Maude fails to build on armhf/arm32 arch with:

In file included from timeManagerSymbol.cc:64:
timeActions.cc: In member function ‘void TimeManagerSymbol::getTimeSinceEpoch(FreeDagNode*, ObjectSystemRewritingContext&)’:
timeActions.cc:43:41: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is ambiguous
   43 |   mpz_class nanoSeconds(timeValue.tv_sec);
      |                                         ^
In file included from ../../src/BuiltIn/succSymbol.hh:28,
                 from timeManagerSymbol.cc:53:
/usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(double)’
 1646 |   __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(float)’

Full long here: https://buildd.debian.org/status/fetch.php?pkg=maude&arch=armhf&ver=3.4-1&stamp=1712489526&raw=0
And Debian bug report here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067957

Would be great if you have the cycles to look into it.

Best,
Nilesh

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCZhKqhAAKCRAqJ5BL1yQ+
2mDfAQCij0CIfisTmICUCyG2j2GxzoFKDpKuFBeDlVOzf1aigwD/dTrrSwHC21Fy
Q0uPznK08+sTCfNx5ODth3Y+pMs6BAs=
=OGyy
-----END PGP SIGNATURE-----