Would their allotted pay increase be paid as a bonus in addition to their bonus pay?

Any salary increase (CRI) earned is also paid as a lump sum.