ultradiscretize metrize mathematicize arithmetize mathematicalize mathematicise uniformize matricize quadratize dedimensionalize