TeX source:
x=1.994 ? x=2.0003