十七萬八千五百里以三百乗之得五千
三百五十五萬歩又以周天分千四百六
十一分乘之得七百八十二億三千六百
五十五萬爲實以内衡一度數千九百五
十四里二百四十七歩千四百六十一分
歩之九百三十三亦以三百乘里内歩二
百四十七得五十八萬六千四百四十七
歩又以分毋千四百六十一分乗之内子
得八億五千六百八十萬爲法以除實得