Computes a truncating division: a ~/ b.
a ~/ b
@override BigInt division(BigInt a, BigInt b) => a ~/ b;