int(1) >= half(0.5)
