Some offer. He made the right choice, but never should've been put in that position.
Yes 20 years does not mean 19.999. Never has never will.
Can't argue with your math skills there. Which is why I believe he should've been disciplined and allowed to serve out the additional .001 without being forced to "choose" a court martial in order to protect the 19.999 years of service he gave to this country.