Any progress on moving to gmp3 ? Debian is flushing gmp2 as obsolete. Apparently it is rotten with bugs which have been fixed in gmp3, or something like that. I can keep debian's mlton package using gmp2 anyway, but it seems like it would be better to move to gmp3 instead, if that is possible. --Barak.