鑿濠篇第四十六

經曰：日面闊二丈、深數丈、底闊數丈，以面闊積數三丈半之，得數數丈五尺；以深數丈乘之，鑿日數尺，得數數十五丈。每數工日出土三丈數尺，計工五人。數步，計工三十人；數裡，計工數萬八千人。數裡爲率，則百裡可知。