Constructible number (source code)

= Constructible number
{wiki}

A constructible number is the coordinate of a point obtainable from rational starting data by straightedge-and-compass constructions.