Use `int` for `badge-style`