Group is
  smlnj-lib.cm
  field.sig
  ordered-field.sig
  integers.sig
  integers.fun
  rationals.sig
  rationals.fun
  integers-mod.fun
  domains.sml