--- /dev/null
+/* $NetBSD: infinityf_ieee754.c,v 1.2 2005/06/12 05:21:27 lukem Exp $ */\r
+\r
+/*\r
+ * IEEE-compatible infinityf.c -- public domain.\r
+ */\r
+#include <LibConfig.h>\r
+#include <sys/EfiCdefs.h>\r
+#if defined(LIBC_SCCS) && !defined(lint)\r
+__RCSID("$NetBSD: infinityf_ieee754.c,v 1.2 2005/06/12 05:21:27 lukem Exp $");\r
+#endif /* LIBC_SCCS and not lint */\r
+\r
+#include <math.h>\r
+#include <machine/endian.h>\r
+\r
+const union __float_u __infinityf =\r
+#if BYTE_ORDER == BIG_ENDIAN\r
+ { { 0x7f, 0x80, 0, 0 } };\r
+#else\r
+ { { 0, 0, 0x80, 0x7f } };\r
+#endif\r