uni20::check::IeeeBinaryReal Concept Reference

Real scalar stored in an IEEE binary32, binary64, or binary128 interchange representation. More...

#include <floating_eq.hpp>

Concept definition

template<typename T>
concept uni20::check::IeeeBinaryReal = 
    uni20::Real<std::remove_cvref_t<T>> && uni20::numeric_limits<std::remove_cvref_t<T>>::is_iec559 &&
    uni20::numeric_limits<std::remove_cvref_t<T>>::radix == 2 && std::is_trivially_copyable_v<std::remove_cvref_t<T>> &&
    detail::has_ieee_binary_interchange_layout_v<std::remove_cvref_t<T>>

Detailed Description

Real scalar stored in an IEEE binary32, binary64, or binary128 interchange representation.

This excludes padded extended-precision representations such as x87 80-bit long double, which uses a value-based ordering instead.

Template Parameters

T	Real scalar type to inspect.