linguistic:translation, quality:corruption, information:extraction, linguistic:paraphrasing, structural:scholar_edition
Of real numbers

Division of two real numbers results in another real number (when the divisor is nonzero). It is defined such that a / b = c if and only if a = cb and b ≠ 0.