completed for Int