higher bound a float
i as under statement i
___