Do there exist libraries for finding the first thousand or so digits of irrational numbers? In base 12? I searhed all the "Numeric" and "Numerical" packages on Hackage and found nothing appropriate.

I did figure out how to change the base of a number:

but that method appears limited to numbers only a dozen or so digits long.

My motivation is this video, in which James Zamerski puts the first couple hundred digits of pi to music. I've listened to it maybe 15 times in two days.

It makes me want to try playing the first few hundred digits of other irrational numbers on the piano and try to harmonize them.