Removing the distinction between integer and double constants