An additional 4. About how many tonnes of uranium is theorized to be absent in the sea?