higher bound for a

float point error bound a float

able bound float a✕