李筌
经曰:濠面阔二丈、深一丈、底阔一丈,以面阔积数三丈半之,得数一丈五尺;以深一丈乘之,凿濠一尺,得数一十五丈。每一工日出土三丈一尺,计工五人。一步,计工三十人;一里,计工一万八千人。一里为率,则百里可知。