Ibrahim ibn Sinan (n.