read-num
dec
dup
dec
*
half