constructible number