Returns the Float value corresponding the given key or def_value if none

or if the value isn't of correct type

Property definitions

android $ SharedPreferences :: float
	# Returns the `Float` value corresponding the given key or `def_value` if none
	# or if the value isn't of correct type
	fun float(key: String, def_value: Float): Float
	do
		sys.jni_env.push_local_frame(2)
		var return_value = shared_preferences.get_float(key.to_java_string, def_value)
		sys.jni_env.pop_local_frame
		return return_value
	end
lib/android/shared_preferences/shared_preferences_api10.nit:232,2--240,4