Bugfix: Last element could not be selected sometimes due to rounding error