higher bound a float
able ties strings in float proof
___