idris-0.9.18: test/bignum002/bignum002.idr

module Main

main : IO ()
main = do
    putStrLn $ show $ divNat 1809022195644390369852458 91238741987