This folder contains files archived from the website of Prof. David N. Williams at his umich.edu page. The files were downloaded by me on 18 Mar 2025 from the folder /~williams/archive/forth/ieeefp-drafts/ at the URL https://umich.edu. The pages no longer appear to be accessible at that site. The files provided here are a small subset of the full contents of the folder, and are made available for the purpose of preserving and continuing Prof. Williams' long-running effort to develop a proposal, in collaboration with others, for optional sets of standard words for IEEE 754 arithmetic for the Forth language. Here you will find his last-known proposal, version 0.5.5, in its original text format, ieee-fp-0.5.5.txt The file ieeefp-ref-2020-12-26.zip contains his reference implementation of the proposal and test code. In addition, there is a formatted pdf version of the proposal created by me, primarily for my own ease of reading(*): ieee-fp-0.5.5.pdf (*)Any files in this folder with a file date after the download date given above (18 Mar 2025) are not a part of Prof. Williams' original folder. -- Krishna Myneni 6 May 2026