The floor of a denormalized floating level quantity is easier since the floor is $0$ or $-1$, according to the indication. One thing that's appealing concerning this is always that if $n>0$ is large enough, there aren't any representable non-integers. $endgroup$ Kyle Miller 'Mosaics will almost always be a leading https://goo.gl/maps/J8vDwT71H1misjJa8