残されている？問題 (contd.)

JDK 1.1, 1.0 (旧言語仕様) はどうあるべきだったか？
新仕様で言うところの default か strictfp か？

『常に strictfp の文脈』が妥当な解釈のようだ。   根拠:
JGNWG の文書はこれを前提として書かれている。
Sun は `exact reproducibility' をうたっていた。
旧仕様いわく『The floating-point types are float, whose values are 32-bit IEEE 754 floating-point numbers, and double, whose values are 64-bit IEEE 754 floating-point numbers.』

…しかし、Sun の意図はともかく、
        『x86 の挙動そのまま (15 bit 指数部) が許されていた』
        という解釈はできないだろうか？
曖昧だった点 (15 bit 指数部) が改訂で明確になった。