A number of math/big.Int methods can panic when provided large inputs due to a flawed division method.
{ "imports": [ { "path": "math/big", "symbols": [ "nat.divRecursiveStep" ] } ] }