lean4-code-actions/libs/utils/bigint/fromBigIntToNumber.ts

Refactorings and snippets for Lean 4

import { BigIntAllAssertions } from './BigIntAllAssertions'

export const fromBigIntToNumber = (value: bigint) => {
  BigIntAllAssertions.lte(value, BigInt(Number.MAX_SAFE_INTEGER), 'value', 'BigInt(Number.MAX_SAFE_INTEGER)')
  return Number(value)
}