--- a/stx_libbasic2.st	Sun Dec 01 05:26:20 2019 +0100
+++ b/stx_libbasic2.st	Sun Dec 01 05:29:40 2019 +0100
@@ -403,12 +403,18 @@
     ^ #(
         ArithmeticValue asQDouble
         ArithmeticValue asQuadFloat
+        ArithmeticValue differenceFromIEEEFloat:
         ArithmeticValue differenceFromQDouble:
+        ArithmeticValue equalFromIEEEFloat:
         ArithmeticValue equalFromQDouble:
+        ArithmeticValue lessFromIEEEFloat:
         ArithmeticValue lessFromQDouble:
+        ArithmeticValue productFromIEEEFloat:
         ArithmeticValue productFromQDouble:
+        ArithmeticValue quotientFromIEEEFloat:
         ArithmeticValue quotientFromQDouble:
         ArithmeticValue remainderFromQDouble:
+        ArithmeticValue sumFromIEEEFloat:
         ArithmeticValue sumFromQDouble:
         Block deferredValue
         Block deferredValueAt:
@@ -451,6 +457,7 @@
         Float absDecimalPrintOn:digits:
         Float absPrintOn:digits:
         Float absScientificPrintOn:digits:
+        Float asIEEEFloat
         Float asOctaFloat
         Float asQDouble
         Float asQuadFloat
@@ -461,6 +468,7 @@
         Integer atRandom
         LimitedPrecisionReal asOctaFloat
         LimitedPrecisionReal asQuadFloat
+        LongFloat asIEEEFloat
         LongFloat asQDouble
         LongFloat asQuadFloat
         MetaNumber asOctaFloat
@@ -493,6 +501,7 @@
         Object when:send:to:
         Object when:send:to:with:
         Object when:sendTo:
+        ShortFloat asIEEEFloat
         ShortFloat asQuadFloat
         Stream collecting:
         Stream printf: