《南史·到溉传》：“ 溉 第居近 淮水 ，斋前山池有奇礓石，长一丈六尺，帝戏与赌之，并《礼记》一部， 溉 并输焉……石即迎置 华林园 宴殿 前。移石之日，都下倾城纵观，所谓到公石也。”