fun half(a) type integer->integer a.divide(2)
1024.trans(func:half).gt(0) nl