After learning AWK I realised it could be used really neatly for problem 67. I remember it was blazing fast, orders of magnitude faster than Python

Did you use the regular version or the one with multiple-precision values?

I used the regular version. Actually, I don't even know what is multiple-precision values -- will look it up.