add staircase algorithm for half-proportional division, with demo and
test