Return the integer value if the instance is a uint16.

else aborts

Property definitions

	# Return the integer value if the instance is a uint16.
	# else aborts
	fun to_u16: UInt16 do abort

src/interpreter/naive_interpreter.nit:753,2--755,28

	redef fun to_u16 do return val.as(UInt16)

src/interpreter/naive_interpreter.nit:838,2--42