Here are my timings: OS: Ubuntu 22.04.4 LTS x86_64 Kernel: 5.15.0-118-generic CPU: 11th Gen Intel i5-1135G7 (8) @ 4.200GHz (neofetch provides wrong value for CPU frequency) nim c -d:danger -d:release demotohiro_gcd_bench.nim
gcd in stdlib: 2373 micro second gcdLAR: 2506 micro second gcdLAR2: 2030 micro second gcdLAR3: 4686 micro second gcdLAR4: 1753 micro second gcdSub: 1977 micro second gcdSub2: 2021 micro second
