Fix distinguishability for bigint and numeric types

Closes #1010. Closes #1043 by superseding it.

Author: domenic

index.bs

@@ -3537,7 +3537,7 @@ the following algorithm returns <i>true</i>.
             <td class="belowdiagonal">
             <td class="belowdiagonal">
             <td>
-            <td>
+            <td>(b)
             <td>●
             <td>●
             <td>●
@@ -3550,7 +3550,7 @@ the following algorithm returns <i>true</i>.
             <td class="belowdiagonal">
             <td class="belowdiagonal">
             <td class="belowdiagonal">
-            <td>(b)
+            <td>
             <td>●
             <td>●
             <td>●