Eric Allender, Nikhil Balaji, Samir Datta, Rameshwar Pratap: On the complexity of algebraic numbers, and the bit-complexity of straight-line programs. Comput. 12(2): 145-173 (2023)