Also known as greatest integer function, floor, ⌊⌋
function that maps a real number x to the greatest integer less than or equal to x
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).