.pkgs/float/src/generic/Real.m3
.pkgs/float/src/generic/LongReal.m3
.pkgs/float/src/generic/Extended.m3
.pkgs/float/src/generic/RealFloat.i3
.pkgs/float/src/generic/LongFloat.i3
.pkgs/float/src/generic/ExtendedFloat.i3
.pkgs/float/src/DS3100/FloatMode.i3
.pkgs/float/src/DS3100/FloatMode.m3
.pkgs/float/src/DS3100/Real.i3
.pkgs/float/src/DS3100/LongReal.i3
.pkgs/float/src/DS3100/Extended.i3
.pkgs/float/src/DS3100/FPU.i3
.pkgs/float/src/DS3100/RealFloat.m3
.pkgs/float/src/DS3100/LongFloat.m3
.pkgs/float/src/DS3100/ExtendedFloat.m3