Group is
  ../int-inf/sources.cm
  field.sig
  ordered-field.sig
  integers.sig
  integers.fun
  rationals.sig
  rationals.fun
  integers-mod.fun
  domains.sml