What is 9.999 . . . equal to