Please advance the proposal to be more formal, along the lines of [ruv's reply](https://forth-standard.org/proposals/f-r-and-fr-to-support-dynamically-scoped-floating-point-variables#reply-1115). One thing that you should also mention is that the return stack pointer may not comply with the usual FP alignment requirements, and your words must cope with that.
