Ibn Gaon, Shem Tov ben Abraham, 13th/14th cent.