Number field (source code)

= Number field
{wiki}

A number field is a finite <field extension> of the <rational number>[rational numbers].