numeric.float32.internal ≡

template <auto F1, auto F2>
inline uint<F2> exp2_lookup(uint<F1> fraction) §

template <auto F1, auto F2>
inline uint<(1 + F2)> log2_31_lookup(uint<F1> fraction) §