+0.054411… ꜩ from 0x17db…40d80