higher bound for a
float point sum sum ___