dedekind.numbers.ieee Module Reference

Typedefs
template<std::floating_point F = machine_real_scalar>
using	dedekind::numbers::IEEE = dedekind::ieee::IEEE<F>
template<std::floating_point F = machine_real_scalar>
using	dedekind::numbers::IEEEAdd = dedekind::ieee::IEEEAdd<F>
template<std::floating_point F = machine_real_scalar>
using	dedekind::numbers::IEEEMul = dedekind::ieee::IEEEMul<F>

Functions
template<std::floating_point F = machine_real_scalar>
constexpr IEEE< F >	dedekind::numbers::ieee_unit (F value) noexcept
template<std::floating_point F = machine_real_scalar>
constexpr IEEE< F >	dedekind::numbers::assume_ieee (const dedekind::morphologies::𝕃< F > &r) noexcept
	Explicit entry from the honest lane (the finite floats 𝕃<F>) into the IEEE fast lane.
template<std::floating_point F = machine_real_scalar>
constexpr std::optional< dedekind::morphologies::𝕃< F > >	dedekind::numbers::discharge_ieee (const IEEE< F > &x) noexcept
	Explicit exit from the IEEE fast lane into the honest lane: nullopt when the fast lane produced NaN or +/-inf.

Files
file	src/main/modules/dedekind/numbers/ieee.cppm
	Bridge from numerical carriers into the upstream IEEE core module.