While I can confirm the new Pi value is rounded more correctly, I am not sure it makes any difference. I think we need to figure out what type the Pi value is stored in, and see if 3.1415926536 is already too many significant digits for that type.
-- Incorrectly rounded pi constant https://launchpad.net/bugs/67408 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs