[math-fun] Heavy ice D2O sinks in light water H2O