3 ms·Long division for integers: theory and alternative methods3 points by R3G1R 6y agoPaulHoule 6y agoSo reduce division to SMT solving and QED.