corrected intege kind