changed name of numerical constant