fixing small integer rounding error in power scheduler