Return significand bits correctly (dotnet API). Fixes #4584#4585

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterfrom iscottb122:dotnet_fp_significand

Jul 22, 2020

+1-1

Commits on Jul 22, 2020

Return significand bits correctly (dotnet API). Fixes #4584
iscottb122
authored