dropletId on VolumeAttachment on DigitalOcean CDK is incorrect type?

Terraform CDK for Terraform
3

Yeah - thanks. I just did this:

new VolumeAttachment(this, 'volumeattachmentname', {
            dependsOn: [droplet],
            dropletId: <number><unknown>droplet.id,
            volumeId: volume.id
        });

Using Token.asString might be better.