[math-fun] HAKMEM addenda