0.8.8.28:

0.8.8.28:
	More floating point reader fixes for non-10 *READ-BASE*
	... confusion arises if the exponent marker is also a digit.
		Fix the manifest confusions;
	... also a long-standing floating point reader-bugfix: reading
		"ae+9" with *READ-BASE* = 11 used to give a BUG;
	... fix the tests, too.