Thanks, Ross!
I should probably add a caveat that (as I understand the history) the real spur to Weierstrass’s work on analysis was not to shore up the foundations of 17th century calculus, but to pin down thorny 19th century problems of the convergence in Fourier series.
But this all fit the Christmas carol more easily!