The floor of the denormalized floating stage amount is easier as the floor is $0$ or $-one$, based on the indication. Something that may be fascinating relating to this is usually that if $n>0$ is big enough, there isn't any representable non-integers. $endgroup$ Kyle Miller Water just isn't potable everywhere https://goo.gl/maps/J8vDwT71H1misjJa8