fun float_extra(name: JavaString, def_value: Float): Float in "Java" `{
		return self.getFloatExtra(name, (float) def_value);
	`}