10000 metric tons / density of uranium dioxide to gallons