numericalizing