higher bound a in
constant a float ___