static BigInt secp256k1Modinv64Abs(BigInt v) { // VERIFY_CHECK(v > INT64_MIN); if (v < BigInt.zero) return -v; return v; }