fun put_double(key: JavaString, value: Float) in "Java" `{
		self.putDouble(key, value);
	`}