> 3) Why does the bigMul function in int-inf.sml make use of an _import-ed > multiplication function for small multiplication? I think this is an artefact of the long-gone days before MLton supported overflow. It seems fine to replace as you suggest.