About PositSpec::WithInfs

[aleasto]

What is the difference between PositSpec::WithNanInfs and PositSpec::WithInfs?
The documentation says:

	WithNanInfs, /// one top Nan and two signed Infinites (for more float compatibility)
	WithInfs /// one top Nan and two signed Infinites (for more float compatibility)

which is the same description for both options.

Looking at the headers instead they are defined differently:
https://github.com/federicorossifr/cppposit/blob/eb387bfc94b3424ff6afe2b579cabb8a85e342e4/include/traits/posittraits.hpp#L63
https://github.com/federicorossifr/cppposit/blob/eb387bfc94b3424ff6afe2b579cabb8a85e342e4/include/traits/posittraits.hpp#L74

However the question rises, what value is "at the top" with WithInfs? The the posit is still probably symmetric with one top point...?
And similarly, what value is returned by operations like +Inf + -Inf, which in IEEE754 would be NaN?

[aleasto]

Ah well i guess that the answer is "the same as PositSpec::WithNone"