[math-fun] a multiple of pi