I've been driving semi trucks for 18 years, 2 million + miles with mostly an 18 speed non-synchronous transmission, I have never double clutched. I don't even know how. Just float shift the thing.
And coincidentally I'll be dropping a PLS truck off at Ft Irwin Monday morning.