type(0.5 <= i)
