Gebinde int to double