Magento 2 EE – Get Reward Points used on an Order

Migrating some older Magento1 EE code to Magento2, we came upon an issue where we could not figure out how to retrieve the Rewards Points that were used on an order by a customer.