[math-fun] Knuth update