5 ms·In principle not too hard, in practice the topic comes up every few months and nobody has done it yetby math-dev 4y agoIn principle not too hard, in practice the topic comes up every few months and nobody has done it yet