% The fraction field of its argument, an integral domain. The name
% "Frac" was chosen here instead of "Quot" because the latter
% The fraction field of its argument, an integral domain. The name
% "Frac" was chosen here instead of "Quot" because the latter