Turning irrational numbers into video files -- neat.