fixed float constants to be read as doubles