have std int default