-/* This trick borrowed from gcc-lib/.../include/float.h. */
-#if __GNUC__ && (ENDIAN==BIG || ENDIAN==LITTLE)
-#ifndef __DBL_UNION__
-#define __DBL_UNION__
-union blp_convert_double {
- unsigned char convert_double_i[8];
- double convert_double_d;
-};
-#endif /* !defined __DBL_UNION__ */
-#if ENDIAN==LITTLE
-#define SECOND_LOWEST_VALUE \
- (__extension__ ((union blp_convert_double) \
- {{0xfe,0xff,0xff,0xff, 0xff,0xff,0xef,0xff}}) \
- .convert_double_d)
-#elif ENDIAN==BIG
-#define SECOND_LOWEST_VALUE \
- (__extension__ ((union blp_convert_double) \
- {{0xff,0xef,0xff,0xff, 0xff,0xff,0xff,0xfe}}) \
- .convert_double_d)
-#endif /* endianness */
-#endif /* __GNUC__ and known endianness */
-
-#else /* FPREP != FPREP_IEEE754 */
-#error Floating point representation must be known at compile time.
-#endif /* fprep */
-