9.999... really is equal to 10