@@ -19,9 +19,6 @@ const empty = 0n;
1919 * smallest whole unit such that the `natMathHelpers` never deals with
2020 * fractional parts.
2121 *
22- * For this 'nat' asset kind, the rightBound is always a bigint, since a a
23- * fungible number has no "elements" to match against an elementPattern.
24- *
2522 * @type {MathHelpers<'nat', Key, NatValue> }
2623 */
2724export const natMathHelpers = harden ( {
@@ -33,11 +30,9 @@ export const natMathHelpers = harden({
3330 } ,
3431 doMakeEmpty : ( ) => empty ,
3532 doIsEmpty : nat => nat === empty ,
36- doIsGTE : ( left , rightBound ) =>
37- left >= /** @type {bigint } */ ( /** @type {unknown } */ ( rightBound ) ) ,
33+ doIsGTE : ( left , right ) => left >= right ,
3834 doIsEqual : ( left , right ) => left === right ,
3935 // BigInts don't observably overflow
4036 doAdd : ( left , right ) => left + right ,
41- doSubtract : ( left , rightBound ) =>
42- Nat ( left - /** @type {bigint } */ ( /** @type {unknown } */ ( rightBound ) ) ) ,
37+ doSubtract : ( left , right ) => Nat ( left - right ) ,
4338} ) ;
0 commit comments