Daniele Moro a4c7aecb92 Avoid casting to double to round-up integer division
Use integer arithmetic instead

Change-Id: I7b96d2aa99affad7dcd71c3212e7314cd90fb3b4
(cherry picked from commit 4807983e42463470c38ff78a5f5fa4a8010e3fc3)
2021-05-18 13:41:07 +00:00
..