Victor Zverovich a97757736b Use grisu for fixed precision		2019-02-23 15:50:50 -10:00
..
fmt	Use grisu for fixed precision	2019-02-23 15:50:50 -10:00
format	Fixes for some pedantic warnings (#1054)	2019-02-23 09:40:08 -10:00