lambda1@tg says to YSITD For example, 0.5 = 0.499...., assuming the latter means the limit of the sequence {0.4, 0.49, 0.499...}