The floor of a denormalized floating point amount is less complicated as the floor is $0$ or $-one$, dependant upon the indication. Something which is attention-grabbing relating to this is that if $n>0$ is sufficiently big, there are no representable non-integers. $endgroup$ Kyle Miller Whether or not you're developing a https://goo.gl/maps/J8vDwT71H1misjJa8