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

[Mark A. B. <mbo...@ar...>]

Colin Paul Adams wrote:
>>>>>> "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?
>   
There is a "force_to_integer_64" feature in REAL_64. This was introduced 
in the early 2 series.