Ibn al-Jazarī, Muḥammad ibn Muḥammad, 1350-1429