restore branch-free cmp for Signed integers, plus test