TeX source:
2.99920004 < x < 3.00080004