Update int_length_dgti.cpp

better types