Moved Integer>>| from Extension to Legacy.