Talk:Archimedean ordered vector space