Formats, plural.<p>sign:explicit leading mantissa bit:mantissa bits:exponent bits<p>1:0:(P-1):(8-P) where P ∈ [1,7]<p>P ∈ [3,5] appears to be more useful<p>binary8p3 -> 1:0:2:5<p>binary8p4 -> 1:0:3:4<p>binary8p5 -> 1:0:4:3<p>Edge cases:<p>P = 8 would disallow all exponent bits, leaving a sign bit and 7 explicit mantissa bits of precision<p>P = 0 would be unsigned and 8 exponent bits with only an implicit precision bit but no explicit mantissa bits