Ahmad ibn Ibrāhīm, called Ibn al-Jazzār, d. ca. 1009.