Corrected rounding of modulated time values for Dogecoin difficulty calculations