Mathlib

A number field is a finite extension of ℚ. The simplest imaginary quadratic is ℚ(i).