Exact representation of contructible numbers in Python