The floor of the denormalized floating stage variety is easier as the floor is $0$ or $-one$, based on the sign. Something that is certainly intriguing relating to this is the fact if $n>0$ is big enough, there are no representable non-integers. $endgroup$ Kyle Miller S Embassy and Consulate staff https://g.page/r/CacHhtx9-vETEBM