DB<1> p $]
5.024001
  DB<2> p 0x1.999Ap-4
0.100000381469727