I've used that very same example many times when people suggest that the consensus rules should place a cap on how high of a fee a transaction can have. I'm surprised it slipped my mind in this example. Thanks for pointing it out.
I was writing off the top of my head without thinking through all the details (which is probably why I missed the out-of-band payment issue). My concern wasn't that a mining participant would be upset that they missed out on a satoshi that someone else received. My concern was that (if you don't use a reward forwarding scheme where the forwarded value is specified in the output of previous blocks): Rounding "up" would be inflationary as new satoshis are added to the system in many blocks. Rounding "down" would destroy satoshis permanently. Rounding "off" (to the nearest integer) would be unpredictable as to whether it would create new satoshis or would destroy satoshis.
It would seem that using the coinbase for specified fee forwarding would solve this, but that wasn't what we were discussing at the time.
Agreed.