SCENE 1:

"IEEE Floats are fun, come on, in and out, 15 minute adventure"
"OK, but we start with Fixed point, they are easier"

SCENE 2:

template <size_t RSize, size_t RDec>
using RelaxedType = Fixed<FSizeBytes + (RDec - DecBits) / 8 +
((RSize * 8 - RDec) - (FSizeBytes * 8 - DecBits)) / 8,
(RDec >= DecBits ? RDec : DecBits)>;