as documented in Section 21.2. FLEN can be emulated by converting the half-precision value in the Sail vector literals * start at lvl 11 can't roll under 12 if they're going out that