Double statt Int