如何从数字中声明一个 INTEGER_64？

Question

如何从声明的号码中声明一个INTEGER_64？

("3000000000").to_integer_64

是我找到的唯一方法

Answer 1

这应该有效：

{INTEGER_64} 3000000000

示例：

local
    int_64: INTEGER_64
do
    int_64 := {INTEGER_64} 3000000000
    do_something_with_an_int_64 ({INTEGER_64} 3000000000)
end

这同样适用于 INTEGER、NATURAL、REAL、STRING 和（自 EiffelStudio 19.07 起）IMMUTABLE_STRING.[=17 的所有变体=]

How to declare an INTEGER_64 from number?