Victor Zverovich ab0ba8a9d0 Don't emit decimal point if there are no trailing digits (#1210)

2019-06-30 08:44:59 -07:00

..

fmt

Don't emit decimal point if there are no trailing digits (#1210)

2019-06-30 08:44:59 -07:00