Skip to content

do not ignore explicitly given mantissa width#868

Merged
mflatt merged 3 commits intocisco:mainfrom mnieper:issue-866Nov 8, 2024