Fix bzgl. Precision von 64bit integers