Infinite-dimensional normed division algebras, such as those explored in non-standard analysis, are ...