Made floor-untri return an exact integer