Technology history of digital type