Tau: the true circle constant