Fixed rounding error in difficulty increase