def BigInt.from_u32

bend-kit-bignum@0.1.0.0 · bigint.bend:352

import Base

352def BigInt.from_u32(+x: U32) -> BigInt:
353  BigInt{False{}, Mag.norm(Con{(x % 10000 : U32),
354    Con{((x / 10000) % 10000 : U32), Con{(x / 100000000 : U32), Nil{}}}})}