The floor of the denormalized floating position amount is simpler because the floor is $0$ or $-one$, with regards to the indication. Something that is definitely intriguing about this is usually that if $n>0$ is big enough, there aren't any representable non-integers. $endgroup$ Kyle Miller When you open up up https://g.page/r/CacHhtx9-vETEBM