PUB
HERE/.pkgs/float/src/generic/Float.ig
HERE/.pkgs/float/src/generic/RealFloat.i3
HERE/.pkgs/float/src/generic/LongFloat.i3
HERE/.pkgs/float/src/generic/ExtendedFloat.i3
HERE/.pkgs/float/src/DS3100/FloatMode.i3
HERE/.pkgs/float/src/DS3100/Real.i3
HERE/.pkgs/float/src/DS3100/LongReal.i3
HERE/.pkgs/float/src/DS3100/Extended.i3