Semmle QL C# standard library

Primitive predicate float::nextUp

Returns the number adjacent to the receiver in the direction of positive infinity.

float nextUp()