INT_OUT_NS_PER_TICK
(((x) * 10 + INT_OUT_NS_PER_TICK / 200) * \
100 / INT_OUT_NS_PER_TICK - 1)
(((x) + 1) * INT_OUT_NS_PER_TICK / 1000)