higher bound a float
i as under statement a
___