【円周率の歴史】日本は1671年小数第10位まで正確な値で計算していた。朝鮮は？

https://ja.wikipedia.org/wiki/円理
日本は、1671年に書かれた「古今算法記」という書物の中で
小数第10位まで正確な値で計算されているそうですが
朝鮮には、円周率を計算した書物がありますか？