1 .\" $NetBSD: nextafter.3,v 1.5 2015/09/13 10:58:30 he Exp $
3 .\" Copyright (c) 2011 Jukka Ruohonen <jruohonen@iki.fi>
4 .\" All rights reserved.
6 .\" Redistribution and use in source and binary forms, with or without
7 .\" modification, are permitted provided that the following conditions
9 .\" 1. Redistributions of source code must retain the above copyright
10 .\" notice, this list of conditions and the following disclaimer.
11 .\" 2. Redistributions in binary form must reproduce the above copyright
12 .\" notice, this list of conditions and the following disclaimer in the
13 .\" documentation and/or other materials provided with the distribution.
15 .\" THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
16 .\" ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
17 .\" TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
18 .\" PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
19 .\" BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20 .\" CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21 .\" SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22 .\" INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 .\" CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 .\" ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 .\" POSSIBILITY OF SUCH DAMAGE.
27 .Dd September 13, 2015
37 .\" XXX: Not yet implemented.
41 .Nd next representable floating-point number
47 .Fn nextafter "double x" "double y"
49 .Fn nextafterf "float x" "float y"
51 .Fn nextafterl "long double x" "long double y"
53 .Fn nexttoward "double x" "long double y"
55 .Fn nexttowardf "float x" "long double y"
62 functions return the next machine representable number from
70 the functions return the largest representable floating-point number less than
79 The three functions differ only in the type of the return value and
86 functions are equivalent to the
88 family of functions with two exceptions:
89 .Bl -enum -offset indent
91 The second parameter has a type
96 converted to the type of the function, provided that
102 Upon successful completion, the described functions return
103 the next representable floating-point value as described above.
106 is finite but an overflow would occur,
107 a range error follows and the functions return
108 .Dv \*(Pm\*HHUGE_VAL ,
109 .Dv \*(Pm\*HHUGE_VALF ,
111 .Dv \*(Pm\*HHUGE_VALL
112 with the same sign as
118 is \*(Na, a \*(Na is returned.
123 but the function value is subnormal, zero, or underflows,
124 a range error occurs, and either 0.0 or the correct function
125 value (if representable) is returned.
129 The described functions conform to