higher bound a float
i as under statement float
bound a under ___