added instance for Int