Re: [gobo-eiffel-develop] Converting large DOUBLEs to INTEGER_64

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> Colin Paul Adams wrote:
    >> This appears to be a problem - ISE has truncated_to_integer64,
    >> but SE doesn't. Is there a way round this?

    Eric> I don't know. Does SE provide some other means to achieve
    Eric> that?

I can't find one. Does anyone else know?
-- 
Colin Adams
Preston Lancashire