One of the common definitions for "Islamic philosophy" is "the style of philosophy produced within the framework of Islamic culture. How many books were said to have been written by Ibn Sina?