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