dont redefine "double"