No need to call int() then?