higher bound a float

i as under statement a