a.k. from thus spake a.k.
As well as required arithmetic operations, such as addition, subtraction, multiplication and division, the IEEE 754 floating point standard has a number of recommended functions. For example
finitedetermines whether its argument is neither infinite nor NaN and
nextafterwhich returns the first representable floating point number after its first argument in the direction towards its second.