higher bound on a
float point error margin in
___