DB<17> p 0x05/0x10
0.3125

  DB<18> p int(0x05/0x10)
0