grisette
grisette copied to clipboard
Add SymReal Type
looking at sbv it has support for both floats of arbitrary precision and rational numbers could grisette add support for them?
Hi @eldritch-cookie,
Yeah, I will be glad to add them. I still have plenty of stuff to do at this time, but I will put this into my todo list.
SymAlgReal
has been added in #228, and SymFP
has been added in #207.