Sitelet https://codeql.github.com/codeql-standard-libraries/java/predicate.int$minimum.1.html

CodeQL library for Java/Kotlin

codeql/java-all 9.2.3 (changelog, source)

Primitive predicate int::minimum

Returns the smaller of the receiver and the argument

float minimum(float other)