numpunctは規格の英文読み違えてました。 debug_numpunct::do_grouping()で64ビット整数用に20グループ分一桁の指定をしていましたが、 最後のグループより後ろは最後の指定に従うため、 std::string do_grouping() const // virtual { return "\1\1\1\1\1\1…