Text this: Mathematicians, astronomers and other scholars of Islamic civilisation and their works (7th-19th c.)