Fix invalid double constant notation