Not to be that guy, but technically (0.999) = 1 - 10^(-inf).