[singularity2001]

Maybe this can be fixed for good using (axiomatic) hyperreal numbers:

0.9̅ = 0.9̂ + ε = 1

For some definition of 0.9̂ = 1 - ε