[math-fun] 1/7 etc.