1/1: Building Numbers (Numbers.idr)
Main> [3518437212345678901234567890560, 1537557061795061679839506167983751, 3518437212345678901234567889686, 8051343735344802977653473432, 339]
[912198731, 301395778, 912197977, 2419624, 106]
Main> Bye for now!
