Tūqātī, Isḥāq ibn Ḥasan, d. 1688 or 9.