* device/include/float.h: added __INFINITY
[fw/sdcc] / device / lib / _fsdiv.c
index 5a1a21a744387cdceb947e01f97f4fd461f0dea8..7bf1c48f010293a75054c269f0f63a06bcb0ac53 100644 (file)
@@ -328,7 +328,7 @@ float __fsdiv (float a1, float a2)
 
   /* pack up and go home */
   if (exp >= 0x100)
-    fl1.l = (sign ? SIGNBIT : 0) | 0x7F800000;
+    fl1.l = (sign ? SIGNBIT : 0) | __INFINITY;
   else if (exp < 0)
     fl1.l = 0;
   else