real quadratic number field