nitc :: Instance :: to_i
else aborts
# Return the integer value if the instance is an integer. # else aborts fun to_i: Int do abort
redef fun to_i do return val.as(Int)