Антонин (имп. рим.), о нем