Barqī, Aḥmad ibn Muḥammad, 9th cent.