Wie kann man einen Double auf ganze Zahlen aufrunden?