Why does coke and Diet Coke both float?