On 12/12/2021 5:36 PM, Aspen via agora-official wrote: > with non-negative integer possible > values, defaulting to 0,
For future reference, this could be replaced with "natural switch" (as defined in R2509, including 0 being defined as the default default).