Fix Pi declaration to standard library