[math-fun] Some silly arithmetic ...