Skip to content

Use toPlainString() instead of toString() for decimals#16

Open
rakomw wants to merge 1 commit intosmtlib:masterfrom
SD-JML-Float:master
Open

Use toPlainString() instead of toString() for decimals#16
rakomw wants to merge 1 commit intosmtlib:masterfrom
SD-JML-Float:master

Commits

Commits on Jul 27, 2021