%% Provide for left-to-right numerals in the right-to-left Semitic
%% mode...

input:	
	1
	;
output:
	1
	;
states:
	NUMERIC,
	ALPHA
	;
aliases:
	DIGIT	= (48-57) % the numbers!
		;
	DOT	= 46 % the PERIOD!
		;
%% A NUMBER is any sequence consisting of digits possibly containing a
%% dot.  Currently, we do not allow the possibility of a comma serving
%% as the decimal point.  Nor do we permit leading plus/minus sign---
%% this isn't math mode.  Numbers are terminated by non-number, or by a
%% dot NOT followed by another digit.  
	NONDIGIT	= ^({DIGIT})
		;
	DIGORDOT	= ({DIGIT}|{DOT})
		;
expressions:
%% Special case: single digit
	{NONDIGIT}{DIGIT}{NONDIGIT}	=> \(* - 1)
					<= \$
		;
	{NONDIGIT}{DIGIT} end:	=> \*
		;
%% A number begins...

%% If the number begins with a dot, it must be followed by a pure
%%					digit.
	{DOT}{DIGIT}	=> "\startnum!." 
			<= \$ <push: NUMERIC> 
		;
%% A non-single digit can also start the number.
	{NONDIGIT}{DIGIT}	=> \1 "\startnum!"
				<= \$ <push: NUMERIC>
			;
%% The number ends...
	<NUMERIC>{DIGORDOT}{NONDIGIT}	=> \1 "\endnum!"
					       <= \$ <pop:>
					       ; 
	<NUMERIC>{DIGORDOT} end:    	=> \1 "\endnum!"
					       ; 
%% The number continues...
	<NUMERIC>{DIGORDOT}	=> \1
		;