Replace DOUBLE by double