Use a 32-bit floating-point limb size; support 8-bit float

Use a 32-bit limb size ("like a digit, but bigger") for floating-point
conversion.  This cuts the number of multiplications per constant by a
factor of four.

This means supporting fractional-limb-sized numbers, so while we're at
it, add support for 8-bit floating point numbers (apparently used in
graphics and in audio compression applications.)

1 files changed, 1 insertions, 0 deletions

diff --git a/tokens.dat b/tokens.dat
index d4c046a4..9e221831 100644
--- a/tokens.dat
+++ b/tokens.dat
@@ -43,6 +43,7 @@ __qnan__
 __snan__
 
 % TOKEN_FLOATIZE, 0, FLOAT_{__float*__}
+__float8__
 __float16__
 __float32__
 __float64__