Define a constructible number.