The floor of a denormalized floating point number is less complicated since the floor is $0$ or $-one$, depending upon the indicator. One thing that is certainly interesting concerning this is the fact that if $n>0$ is sufficiently big, there won't be any representable non-integers. $endgroup$ Kyle Miller 'Mosaics will https://g.page/r/CacHhtx9-vETEBM