higher bound for a
float point sum ___