nitc :: Instance :: to_f
else aborts
# Return the integer value if the instance is a float. # else aborts fun to_f: Float do abort
redef fun to_f do return val.as(Float)