does 9.99999999 = 10? view 3