reverted numerical to value rename, for the future. Is cosmetic anyway