Shabrakhītī, Ibrāhīm ibn Marʻī, d. 1694 or 5.