tree a916dc64a0e73ef173a424c077817fb28faccac1
parent fe066bd514fcd08f2c2bf94d3d0e89e3c4f10884
author Jon Skeet <jonskeet@google.com> 1453373397 +0000
committer Jon Skeet <jonskeet@google.com> 1453373397 +0000

Fix mistakes in highest-representable float64 integers