clever way to transform str to int