То есть, поддержка float будет исключительно софтовая? Это же медленно!
Другое дело, если арифметические команды будут выполнять действия параллельно в небольшом внутреннем float стеке. Т.е. вычисления будут производиться как в целых числах, так и в вещественных.

Вопрос только в том, как записывать и доставать вершину float стека, то есть чтение из памяти / запись в память. Вот тут можно подумать.

Если читать из памяти @ можно сразу в оба стека, то вот с записью непонятно - из какого стека записывать.
Как вариант: определённая область памяти, куда команда ! пришет не из целочисленного стека, а из float.

Ну у нас же безрыбье Поэтому да, будет софтовая там, где нет аппаратной поддержки float (самодельные форт-процессоры или тот же Брус-16, 6502, ARM/Thumb начального уровня и много где еще) Ну а там, где float поддержан (x86 и продвинутые ARM/Cortex, ну или тот же Irbis Forth), возможны варианты. Формально моему транслятору Си-в-Форт для соответствия стандарту C89 не хватает функций в стиле K&R, битовых полей и как раз float. Функции K&R и битовые поля ни разу не пригодились, их не планирую делать даже в отдаленной перспективе. А вот float иногда нужен, пусть даже этот float будет медленным и/или ограниченным (bfloat16).

Может не совсем уловил мысль, но мне кажется, что от "@ сразу в оба стека" будет больше вреда, чем пользы. Почти наверняка придется следом удалять только что записанное из какого-то из двух стеков. Но вообще мысль интересная. Появились такие идеи процессоров:
- процессор, в котором есть команда для переключения между режимами вычислений int/float;
- процессор, в котором ячейки стека имеют тип float

Мысль в том, что float стек располагается внутри процессора, имеет небольшую глубину и используется только для вычисления float выражений. Загрузили данные из памяти, посчитали, и выгрузили результат обратно в память. При этом обычный стек тоже модифицируется (процессор не прекращает выполняет команды для целочисленного стека, он ведь не знает наш план о том, что мы в данный момент хотим float вычисления).

Теоретически, можно сделать так, что бинарное представление целого числа (в определённом диапазоне, зависящим от размера мантиссы) будет совпадать с бинарным представлением float того-же числа (с порядком ноль). Надо будет только отрицательные целые числа представлять не в дополнительном коде, а с отдельным битом знака, как у float. И при нормализации float учесть этот факт, т.е. если целое укладывается в мантиссу, то приводить float к порядку равному нулю.

Кстати, почему-то самый очевидный вариант из головы вылетел:
- fpu отдельным устройством на шине
Надо скорее патентовать, пока intel какой-нибудь x87 не придумал
Тогда сам процессор и его систему команд не трогаем, а просто компилируем float под математический сопроцессор (при наличии) либо софтово (при отсутствии)