I performed a test with a voltmeter on a Librem 13v2 CMOS battery and it measured 3.1V. In the Librem there isn’t a custom-made plastic slot for the CMOS battery, it sort of sits there between a few components so I think a 1mm diameter difference shouldn’t matter much.