Property definitions

android $ NativeIntent :: add_extra_float
	fun add_extra_float(name: JavaString, value: Float): NativeIntent in "Java" `{
		return self.putExtra(name, value);
	`}
lib/android/intent/intent_api10.nit:309,2--311,3