Library Stdlib.BinNums.IntDef

From Corelib Require Export IntDef.