Benedict Jin ec836ae8f8 Fix result of division may be truncated (#8355)
* Fix result of division may be truncated

* Refactoring

* Patch comments
2019-09-06 14:45:52 -07:00
..
2019-01-28 17:02:43 -08:00
2018-08-09 14:37:52 -06:00
2018-08-09 14:37:52 -06:00
2018-08-09 14:37:52 -06:00