Fixes #1152: `Pi` namespace was not declared.