Somewhere along https://github.com/facebook/hermes/blob/517e48e9e47d06d82bd0a874a0412f6d9c8cfdc9/lib/Support/BigIntSupport.cpp#L1797-L1798 If `lhs.numDigits < rhs.numDigits`, the result could be trivially optimized to `[0, lhs]`