Та не, я не думаю, что так сделали по глупости. Скорее — для удобства. Запятых в любом тексте на кириллице и в числах, записанных по правилам кириллицы, огромное количество (и пропорционально же много мест для ошибки), а точка с запятой символ сравнительно редкий, но при этом стандартный.