Border radius for the badge corners in logical pixels.
If null, defaults to theme.radius * size for proportional rounding, typically creating a circular badge.
@override final double? borderRadius;