DB<1> p 2008.000000000001
2008
  DB<2> p 2008.000000000001 == 2008

  DB<3> p 2008.000000000001 - 2008
9.09494701772928e-13