3 ms·

I'm more interested in applications to abstract interpretation, so number theory stuff does not interest me.