HAVE_IEEE754_COMPLIANCE = @HAVE_IEEE754_COMPLIANCE@