The floor of the denormalized floating position amount is easier since the floor is $0$ or $-one$, dependant upon the signal. Another thing that is definitely exciting relating to this is the fact if $n>0$ is big enough, there won't be any representable non-integers. $endgroup$ Kyle Miller The right shades https://goo.gl/maps/J8vDwT71H1misjJa8