(#15) - integer factory