On Fri Jan 16, 2026 at 4:19 PM CET, Alexandre Courbot wrote: > This means that fields won't need to have an explicit integer type > anymore (they will automatically use the corresponding `BoundedInt` > instead).
Oh right, I forgot about this for a second.
