1 2 3
# primitive.math.div / involution status = "not_applicable" reason = "auto-generated first-pass annotation"