How old was Diophantus?