That's a bit of a hat tip to donut.c: https://www.a1k0n.net/2011/07/20/donut-math.html
https://www.ioccc.org/2000/natori/index.html
https://github.com/ioccc-src/winner/blob/master/2000/natori/...
It's interesting how the same 2551443 bitmask appears in the time calculation for both.