The floor of the denormalized floating level variety is less complicated as the floor is $0$ or $-1$, with regards to the indication. Something which is fascinating relating to this is that if $n>0$ is sufficiently big, there won't be any representable non-integers. $endgroup$ Kyle Miller Brent W I are https://goo.gl/maps/J8vDwT71H1misjJa8