I’m sorry, but I don’t know what the problem is that will be solved here.
The inherently difficult part of inputting or outputting floating-point numbers is converting between a human-readable base 10 representation and a machine-usable base two representation while maintaining maximal accuracy (with some side conditions for special values, overflow, underflow, etc.)
Are you proposing that this is what this pre-SRFI will do?
Brad