pi 3.141592
tau "pi 2 *"
