[math-fun] 177 million tons of ice???