[acrvinwj] pi vs 2pi in binary

in base 2, the battle between pi and 2pi (tau) is over where to put the decimal point:

1.10010010000111111011010... = pi/2
11.0010010000111111011010... = pi
110.010010000111111011010... = 2pi