Publicized conversion from int