Board Thread:Game Discussion/@comment-33870577-20190604172306/@comment-28169398-20190604195056

They go out to more decimal places, then everything is rounded. That can affect rounded PR.