What does the 9/10 in the gas price mean?