[jcarreiro]

> one quarter of a circle is tau/4, or pi / 8

I am not particularly well versed in mathematics but isn't 1/4 of a circle pi/2 radians?

[vessenes]

Ah, you made my point for me!