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

CodeQL library for Java/Kotlin

codeql/java-all 9.2.3 (changelog, source)

Primitive predicate float::minimum

Returns the smaller of the receiver and the argument

float minimum(int other)