IntDAWG and IntCompletionDAWG