Lightning ALREADY does milli-sats.  I agree a fork is likely, but even if Bitcoin never did add further digits past the dot, lightning will have evolved to the point that channel management is so automatic that a closing channel would clear the millisats to somewhere else, like another channel, before closing.