Documented floating-point status.

plat/cpm/README

@@ -17,6 +17,9 @@ represent the console. All reads block. There's enough TTY emulation to allow
 There's a special, if rather minimilist, interface to give applications access
 to CP/M. See include/cpm.h for details.
 
+IEEE floating point is not available. Attempts to use floating-point numbers 
+will cause the program to terminate.
+
 
 Example command line
 ====================

plat/linux386/README

@@ -16,6 +16,8 @@ proof-of-concept stage right now.
 Important note: you *can't* link access ELF shared libraries from these
 executables. In other words, you have to all your work from inside ACK.
 
+IEEE floating point is available, but requires an FPU.
+
 The executables are generated with aelfslod and are extremely simple; there's
 one rwx ELF section which contains all the application's code and data. This
 is not optimal, but it does work.

plat/pc86/README

@@ -16,6 +16,8 @@ This means that there's not very much memory available. It would be very easy
 to change it to run in SMALL mode, where CS occupies one segment and DS and SS
 another, which would give 64kB for nearly all programs; I just haven't done it.
 
+IEEE floating point is available, but requires an FPU.
+
 This port only implements a very limited set of syscalls --- and most of those
 are stubs required to make the demo apps link. File descriptors 0, 1 and 2
 represent the console. All reads block. There's enough TTY emulation to allow