Division by 2 on odd degree hyperelliptic curves and their jacobians

Let C be a an odd degree hyperelliptic curve  embedded in its jacobian J in such a way that the infinite point goes to the identity element of J.
We give explicit formulas (in terms of Mumford for representations of halves of points of C in J. We also discuss torsion points of small order on C.