[math-fun] Oz rules and grossones