DB<18> say 0x1p+10 - 1 1023