round down(2^65536/10^14000)