71/10 is the same as what mixed number?