There are three kind of numbers (a TLA+ post)

Watching this excellent session in C++ Now 25: Using TLA+ to Fix a Very Difficult glibc Bug by Malte Skarupke I discover...