max(half(-0.5))
