added non-integer jump increments to ssa