[gobo-eiffel-develop] signature of XM_XPATH_DECIMAL_VALUE.make_from_integer

[Eric B. <er...@go...>]

In order to keep it compilable with ISE 5.6, I had to change
the signature of `make_from_integer' in XM_XPATH_DECIMAL_VALUE
from:

   make_from_integer (a_value: INTEGER_32) is

to:

   make_from_integer (a_value: INTEGER) is

I also had to comment out the precondition of `make_from_string'
in XM_XPATH_MACHINE_INTEGER_VALUE because `is_integer_64' does
not exist in class STRING in ISE 5.6. I'm not sure if it's in
SE 1.2r7 either, but I didn't try. This routine ought to be in
KL_STRING_ROUTINES, but the name has been hijacked by a more
specific need.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com