Skip to content

rename _precision -> _digits reflecting accuracy of the constant#123

Merged
WouterVisscher merged 1 commit intomainfrom round-digitsFeb 8, 2024

Commits

Commits on Feb 8, 2024