Symbolic definition of pi is wrong #16
Description
The definition of pi in Data.Number.Symbolic is 'pi = var "pi"', but arguably it should be 'pi = con pi'.
{{ message }}
The definition of pi in Data.Number.Symbolic is 'pi = var "pi"', but arguably it should be 'pi = con pi'.