Well, if the same integer value passed to Pulumi results in a different API representation than in a yaml file, that is definitely a bug. But this sounds surprising.