Serialize number to no more than necessary precision#173
Merged
bors-servo merged 1 commit intoservo:masterfrom Aug 18, 2017
Merged
Serialize number to no more than necessary precision#173bors-servo merged 1 commit intoservo:masterfrom
bors-servo merged 1 commit intoservo:masterfrom