古者以周尺八尺为步，今以周尺六尺四寸为步。古者百亩，当今东田百四十六亩三十步。古者百里，当今百二十一里六十步四尺二寸二分。

　　王仲祖稱殷淵源：“非以長勝人，處長亦勝人。”

　　戴淵少時，遊俠不治行檢，嘗在江、淮間攻掠商旅。陸機赴假還洛，輜重甚盛。淵使少年掠劫，淵在岸上，據胡床，指麾左右，皆得其宜。淵既神姿峰穎，雖處鄙事，神氣猶異。機於船屋上遙謂之曰：“卿才如此，亦復作劫邪？”淵便泣涕，投劍歸機，辭厲非常。機彌重之，定交，作筆薦焉。過江，仕至征西將軍。