convert to proper int