CodeQL library for C#
codeql/csharp-all 3.1.1-dev (changelog, source)
Search

Primitive predicate float::floor

Returns the largest integer that is not greater than the receiver

int floor()