1 - 0.5 != half(0.5)
