id:hnw氏が以前のエントリのコメントで「PHPの新しいround関数にバグをみつけた」の詳しく説明してくれました。 なるほどなるほど。私は以下の理由で勘違いをしていたようです。 JavaのFormatNumberも17桁以上の有効桁数は取らない new BigDecimal("1000000000000000.125").precision()が19を返す IEEE754範囲外という前のエントリは間違いでした。でも、PHPの中の人は勘違いをしていないかも知れません。 id:hnw氏のバグ報告の整理 id:hnw氏の主張を整理してみましょう。1000000000000000.125のビット表記は以下のようになり、IEEE 754形式に収まると言う事のようです。 10進数 1000000000000000.125 符号 0 指数 10000110000 仮数 110001101011111