JavaScript规范中无溢出/下溢浮点数toString()输出一致性问询

嘿，我想请教个问题：我知道在十进制里0.12其实并不完全等于12/100，因为它得做近似取值，但我问的不是数学问题，而是JavaScript规范里关于浮点数转字符串（不涉及其他计算）的规则。

我的问题是：如果有一个没有溢出和下溢的浮点数（比如来自HTTP响应或者硬编码的值），就像下面这样：

const obj = {
    "val": a.bc
};

JavaScript规范是否能保证obj.val.toString()输出的字符串是稳定且一致的？也就是说，不管在哪个符合规范的JavaScript引擎里，同一个无溢出/下溢的浮点数转成字符串的结果都是统一的？

备注：内容来源于stack exchange，提问作者wcminipgasker2023