Von double zu INT