[COMMIT] Only make promote_args_lazy() available if WITH_NUMBER_TYPES. #'min