It also provides the macros codice_16, codice_17, codice_18, which represent the positive difference between 1.0 and the next greater representable number in the corresponding type (i.e. the ULP of one). The Java standard library provides the functions and . They were introduced with Java 1.5. The Swift standard library provides access to the next floating-point number in some given direction via the instance properties codice_19 and codice_20. It also provides the instance property codice_21 and the type property codice_22 (which corresponds to C macros like codice_16) for Swift's floating-point types.