R5.97RSの該当部分を読むと Implementations that use binary floating-point representations of real number objects should represent x|p using a p-bit significand if practical, or by a greater precision if a p-bit significand is not practical, or by the largest available precision if p or more bits of significand are not practical within the implementation. ってことなので、仮数部の指定が"実装内で現実的で無い"場合は それより大きい仮数部を持つ浮動小数点表現をすればＯＫ、という風に 読めるけど違うかな？メモリ量を最適化しようとする実装に対して 仮数部の最低ビット数を指示するためにある、という風に俺は解釈するけど、 どうなんだろう？
