higher bound for sum
a float cast ___