commit/XEmacs: kehoea: Only make promote_args_lazy() available if WITH_NUMBER_TYPES.