: half ( x -- x/2 ) 2 / ;