higher bound a in
rush rush a float ___