大宋翰林天文，师从陈抟，专习天文术数之理。