Improve number handling for Eiffel.