Changing a U64 to int64 to allow to compile under Windows (conversion from U64 to double is not allowed)