higher bound a float
able float in lets ___