higher bound for the
stack of a float box float ___