拡張浮動小数点数型の変換順位について修正と追記

Author: onihusube

reference/stdfloat/bfloat16_t.md

@@ -45,10 +45,10 @@ std::bfloat16_t b = 2.0BF16;
 
 - `long double` > `double` > `float`のように、`long double`が最も高い順位をもつ
 - 同じ値集合をもつ2つの拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型より多くの値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
+- 1つの標準浮動小数点数型だけと同じ値集合をもつ拡張浮動小数点数型は、その型と同じ順位をもつ
+- 2つ以上の標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
 
-注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は順位通りではない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。
+注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は定義されない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。例えば、`std::float16_t`と`std::bfloat16_t`の間には変換順位が付かず、相互に暗黙変換できない。
 
 順位が同じ浮動小数点数型は、サブ順位 (subrank) で順序付けられる。拡張浮動小数点数は、標準浮動小数点数型よりも大きなサブ順位をもつ。
 

reference/stdfloat/float128_t.md

@@ -41,10 +41,10 @@ std::float128_t b = 2.0F128;
 
 - `long double` > `double` > `float`のように、`long double`が最も高い順位をもつ
 - 同じ値集合をもつ2つの拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型より多くの値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
+- 1つの標準浮動小数点数型だけと同じ値集合をもつ拡張浮動小数点数型は、その型と同じ順位をもつ
+- 2つ以上の標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
 
-注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は順位通りではない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。
+注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は定義されない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。例えば、`std::float16_t`と`std::bfloat16_t`の間には変換順位が付かず、相互に暗黙変換できない。
 
 順位が同じ浮動小数点数型は、サブ順位 (subrank) で順序付けられる。拡張浮動小数点数は、標準浮動小数点数型よりも大きなサブ順位をもつ。
 

reference/stdfloat/float16_t.md

@@ -41,10 +41,10 @@ std::float16_t b = 2.0F16;
 
 - `long double` > `double` > `float`のように、`long double`が最も高い順位をもつ
 - 同じ値集合をもつ2つの拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型より多くの値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
+- 1つの標準浮動小数点数型だけと同じ値集合をもつ拡張浮動小数点数型は、その型と同じ順位をもつ
+- 2つ以上の標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
 
-注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は順位通りではない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。
+注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は定義されない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。例えば、`std::float16_t`と`std::bfloat16_t`の間には変換順位が付かず、相互に暗黙変換できない。
 
 順位が同じ浮動小数点数型は、サブ順位 (subrank) で順序付けられる。拡張浮動小数点数は、標準浮動小数点数型よりも大きなサブ順位をもつ。
 

reference/stdfloat/float32_t.md

@@ -41,10 +41,10 @@ std::float32_t b = 2.0F32;
 
 - `long double` > `double` > `float`のように、`long double`が最も高い順位をもつ
 - 同じ値集合をもつ2つの拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型より多くの値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
+- 1つの標準浮動小数点数型だけと同じ値集合をもつ拡張浮動小数点数型は、その型と同じ順位をもつ
+- 2つ以上の標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
 
-注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は順位通りではない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。
+注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は定義されない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。例えば、`std::float16_t`と`std::bfloat16_t`の間には変換順位が付かず、相互に暗黙変換できない。
 
 順位が同じ浮動小数点数型は、サブ順位 (subrank) で順序付けられる。拡張浮動小数点数は、標準浮動小数点数型よりも大きなサブ順位をもつ。
 

reference/stdfloat/float64_t.md

@@ -41,10 +41,10 @@ std::float64_t b = 2.0F64;
 
 - `long double` > `double` > `float`のように、`long double`が最も高い順位をもつ
 - 同じ値集合をもつ2つの拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、同じ順位をもつ
-- 標準浮動小数点数型より多くの値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
+- 1つの標準浮動小数点数型だけと同じ値集合をもつ拡張浮動小数点数型は、その型と同じ順位をもつ
+- 2つ以上の標準浮動小数点数型と同じ値集合をもつ拡張浮動小数点数型は、`double`と同じ順位をもつ
 
-注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は順位通りではない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。
+注意として、浮動小数点数型`T1`の値集合が浮動小数点数型`T2`の値集合の部分集合でも上位集合でもない場合、浮動小数点数型`T1`と`T2`の変換順位は定義されない。これは、一方の型が他方より大きな範囲と低い精度の両方を持つ場合に起こり得る。例えば、`std::float16_t`と`std::bfloat16_t`の間には変換順位が付かず、相互に暗黙変換できない。
 
 順位が同じ浮動小数点数型は、サブ順位 (subrank) で順序付けられる。拡張浮動小数点数は、標準浮動小数点数型よりも大きなサブ順位をもつ。