string(1 <= 0.5)
