Alphonse Arzachel et Ptolémée, astronono