higher bound a float

i as under statement float

bound a float float float✕