higher bound for the
stack less than stack height a float
___