ordered field with the Archimedean property
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).