bug fix in float bound computation when no floats