tree 473048bc919ce453d32c01431832ff6f216049a3
parent 7388cdc71ef0d14df3295a581070424ba84ce7f0
author Daniele Moro <daniele@opennetworking.org> 1621333246 +0200
committer Daniele Moro <daniele@opennetworking.org> 1621333272 +0200

Avoid casting to double to round-up integer division

Use integer arithmetic instead

Change-Id: I7b96d2aa99affad7dcd71c3212e7314cd90fb3b4