The default BadgeBox overhang for a plain dot on a rectangular icon (COUI coui_hint_red_dot_medium_icon_topend_margin_rectangle).