method
BigInt.div
BigInt.div(a, d) -> BigInt
Divides a BigInt by an int divisor, truncating toward zero. Handy for splitting an exact total into equal shares.
Example
program Demo {
handler Step phase Update {
let each = BigInt.div(pot, players)
}
}