This plugin finally provided me with the solution I was looking for (exporting refunds from a WooCommerce shop as a positive number). If you are looking for a comprehensive solution to export your orders, this plugin is what you are looking for. The support has been excellent in helping me to customize the code, too.