Small thing: `map(BigInt)` will also work there.