Also known as greatest integer function, floor, ⌊⌋
la partie entière d’un nombre réel x est l’unique entier relatif n (positif, négatif ou nul) tel que n ≤ x < n + 1
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).