Typst prints a rating as a number instead of stars

Typst print formats draw rating fields as stars, with the same rounding as Chrome prints.