higher bound a float

able ties bind float bound float