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