cast as int as a precaution?