Real versus nominal gross domestic product