zombiezen/math3 archive