Return the integer value if the instance is a float.

else aborts

Property definitions

nitc $ Instance :: to_f
	# Return the integer value if the instance is a float.
	# else aborts
	fun to_f: Float do abort
src/interpreter/naive_interpreter.nit:737,2--739,25

nitc $ PrimitiveInstance :: to_f
	redef fun to_f do return val.as(Float)
src/interpreter/naive_interpreter.nit:830,2--39