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