Retrieves the Float extra stored as Java double with the corresponding

name

Property definitions

android $ Intent :: extra_double
	# Retrieves the `Float` extra stored as Java `double` with the corresponding
	# name
	fun extra_double(name: String, def_value: Float): Float
	do
		sys.jni_env.push_local_frame(1)
		var nit_float = intent.double_extra(name.to_java_string, def_value)
		sys.jni_env.pop_local_frame
		return nit_float
	end
lib/android/intent/intent_api10.nit:878,2--886,4