晋书

推闰月

以闰余减章岁，余以岁中乘之，满章闰为一月。不尽，半法已上亦一，有进退，以无中月。