fun get_float_with_def_value(key: JavaString, def_value: Float): Float in "Java" `{
		return (float) self.getFloat(key, (float) def_value);
	`}