proper int