foo(jsii.Number(3), jsii.Number(8))