I've definitely had the last 4 digits printed out on a receipt. While it is conceivable that those were transmitted separately I find that somewhat unlikely.
I believe tokenization is a feature that is ultimately coming, but not quite there yet (and can also be supported by normal cards).
Disclaimer: I take interest in the payment-world, but am by no means an expert and have made the above claims only to the best of my knowledge.
EDIT: It appears the process of generating the device specific card number is already tokenization.
> After the validation, the card network acting as a TSP (Token Service Provider) creates a token (which is called a DAN or a Device Account Number in the context of Apple Pay) and a token key. This DAN is generated using tokenization and is not the actual card number.
[1] suggests that while some cryptography is done for each transaction, the token is the card number and still only unique to the device, not the transaction.
Said cryptography should be according to the EMV standard [2] and is also performed by a normal card (potentially minus the tokenization).
[1] https://www.freecodecamp.org/news/how-apple-pay-works-under-...
[2] https://en.m.wikipedia.org/wiki/EMV