Also known as greatest integer function, floor, ⌊⌋
la funzione che associa ad ogni numero reale x il più grande intero minore o uguale a x
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).