Raqīq al-Qayrawānī, Ibrāhīm ibn al-Qāsim