《金史.移剌履傳》

喇履，字履道，遼東丹王托雲七世孫也。【略】履秀峙通悟，精曆算書繪事。先是，舊《大明曆》舛誤，履上《乙未曆》，以金受命於乙未也，世服其善。