foo(jsii.Number(3))