> Why should libgmp be 'fundamental'? > > Does MLton *compiler* actually need it? Yes. IntInf.int (and, hence, GMP bigints) are the representation for source integer constants in the compiler. We need to have GMP bigints around to do constant folding on IntInf.int code.