halving

not defined yet