TeX source:
1.995824623 < x < 2.004158016