いやいやそれでどやられてもw

> 10進数文字列s → IEEE 754の値x → 10進数文字列s'
> という変換は、sが非正規化数だったりIEEE 754の仮数部で表現可能な桁数を超えない限り -- (1)
> s == s'を保証可能

仮数部で表現可能かどうかってどうやって判定するわけ？