idris-0.9.18: test/bignum002/expected

19827346982734