1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/os/ossrv/genericopenlibs/openenvcore/include/machine/float.dosc Fri Jun 15 03:10:57 2012 +0200
1.3 @@ -0,0 +1,252 @@
1.4 +/** @file ../include/machine/float.h
1.5 +@internalComponent
1.6 +*/
1.7 +
1.8 +/** @def FLT_RADIX
1.9 +
1.10 +Radix of exponent representation, b
1.11 +
1.12 +@publishedAll
1.13 +@externallyDefinedApi
1.14 +*/
1.15 +
1.16 +/** @def FLT_ROUNDS
1.17 +
1.18 +The rounding mode for floating-point addition is characterized by the implementation-defined value of FLT_ROUNDS
1.19 +
1.20 +@publishedAll
1.21 +@externallyDefinedApi
1.22 +*/
1.23 +
1.24 +/** @def FLT_EVAL_METHOD
1.25 +
1.26 +The use of evaluation formats is characterized by the implementation-defined value of FLT_EVAL_METHOD
1.27 +
1.28 +@publishedAll
1.29 +@externallyDefinedApi
1.30 +*/
1.31 +
1.32 +/** @def DECIMAL_DIG
1.33 +
1.34 +Number of decimal digits, n, such that any floating-point number in the widest supported floating type with pmax radix b digits can be rounded to a floating-point number with n decimal digits and back again without change to the value.
1.35 +
1.36 +@publishedAll
1.37 +@externallyDefinedApi
1.38 +*/
1.39 +
1.40 +/** @def FLT_MANT_DIG
1.41 +
1.42 +Number of base-FLT_RADIX digits in the floating-point significand
1.43 +
1.44 +@publishedAll
1.45 +@externallyDefinedApi
1.46 +*/
1.47 +
1.48 +/** @def FLT_EPSILON
1.49 +
1.50 +The difference between 1 and the least value greater than 1 that is representable in the given floating-point type
1.51 +
1.52 +@publishedAll
1.53 +@externallyDefinedApi
1.54 +*/
1.55 +
1.56 +/** @def FLT_DIG
1.57 +
1.58 +Number of decimal digits, q, such that any floating-point number with q decimal digits can be rounded into a floating-point number with p radix b digits and back again without change to the q decimal digits.
1.59 +
1.60 +@publishedAll
1.61 +@externallyDefinedApi
1.62 +*/
1.63 +
1.64 +/** @def FLT_MIN_EXP
1.65 +
1.66 +Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number
1.67 +
1.68 +@publishedAll
1.69 +@externallyDefinedApi
1.70 +*/
1.71 +
1.72 +/** @def FLT_MIN
1.73 +
1.74 +Minimum normalized positive floating-point number
1.75 +
1.76 +@publishedAll
1.77 +@externallyDefinedApi
1.78 +*/
1.79 +
1.80 +/** @def FLT_MIN_10_EXP
1.81 +
1.82 +Minimum negative integer such that 10 raised to that power is in the range of normalized floating-point numbers.
1.83 +
1.84 +@publishedAll
1.85 +@externallyDefinedApi
1.86 +*/
1.87 +
1.88 +/** @def FLT_MAX_EXP
1.89 +
1.90 +Maximum integer such that FLT_RADIX raised to that power minus 1 is a representable finite floating-point number, emax
1.91 +
1.92 +@publishedAll
1.93 +@externallyDefinedApi
1.94 +*/
1.95 +
1.96 +/** @def FLT_MAX
1.97 +
1.98 +Maximum representable finite floating-point number.
1.99 +
1.100 +@publishedAll
1.101 +@externallyDefinedApi
1.102 +*/
1.103 +
1.104 +/** @def FLT_MAX_10_EXP
1.105 +
1.106 +Maximum integer such that 10 raised to that power is in the range of representable finite floating-point numbers.
1.107 +
1.108 +@publishedAll
1.109 +@externallyDefinedApi
1.110 +*/
1.111 +
1.112 +/** @def DBL_MANT_DIG
1.113 +
1.114 +Number of base-FLT_RADIX digits in the floating-point significand
1.115 +
1.116 +@publishedAll
1.117 +@externallyDefinedApi
1.118 +*/
1.119 +
1.120 +/** @def DBL_EPSILON
1.121 +
1.122 +The difference between 1 and the least value greater than 1 that is representable in the given floating-point type
1.123 +
1.124 +@publishedAll
1.125 +@externallyDefinedApi
1.126 +*/
1.127 +
1.128 +/** @def DBL_DIG
1.129 +
1.130 +Number of decimal digits, q, such that any floating-point number with q decimal digits can be rounded into a floating-point number with p radix b digits and back again without change to the q decimal digits.
1.131 +
1.132 +@publishedAll
1.133 +@externallyDefinedApi
1.134 +*/
1.135 +
1.136 +/** @def DBL_MIN_EXP
1.137 +
1.138 +Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number
1.139 +
1.140 +@publishedAll
1.141 +@externallyDefinedApi
1.142 +*/
1.143 +
1.144 +/** @def DBL_MIN
1.145 +
1.146 +Minimum normalized positive floating-point number
1.147 +
1.148 +@publishedAll
1.149 +@externallyDefinedApi
1.150 +*/
1.151 +
1.152 +/** @def DBL_MIN_10_EXP
1.153 +
1.154 +Minimum negative integer such that 10 raised to that power is in the range of normalized floating-point numbers.
1.155 +
1.156 +@publishedAll
1.157 +@externallyDefinedApi
1.158 +*/
1.159 +
1.160 +/** @def DBL_MAX_EXP
1.161 +
1.162 +Maximum integer such that FLT_RADIX raised to that power minus 1 is a representable finite floating-point number, emax
1.163 +
1.164 +@publishedAll
1.165 +@externallyDefinedApi
1.166 +*/
1.167 +
1.168 +/** @def DBL_MAX
1.169 +
1.170 +Maximum representable finite floating-point number.
1.171 +
1.172 +@publishedAll
1.173 +@externallyDefinedApi
1.174 +*/
1.175 +
1.176 +/** @def DBL_MAX_10_EXP
1.177 +
1.178 +Maximum integer such that 10 raised to that power is in the range of representable finite floating-point numbers.
1.179 +
1.180 +@publishedAll
1.181 +@externallyDefinedApi
1.182 +*/
1.183 +
1.184 +/** @def LDBL_MANT_DIG
1.185 +
1.186 +Number of base-FLT_RADIX digits in the floating-point significand
1.187 +
1.188 +@publishedAll
1.189 +@externallyDefinedApi
1.190 +*/
1.191 +
1.192 +/** @def LDBL_EPSILON
1.193 +
1.194 +The difference between 1 and the least value greater than 1 that is representable in the given floating-point type
1.195 +
1.196 +@publishedAll
1.197 +@externallyDefinedApi
1.198 +*/
1.199 +
1.200 +/** @def LDBL_DIG
1.201 +
1.202 +Number of decimal digits, q, such that any floating-point number with q decimal digits can be rounded into a floating-point number with p radix b digits and back again without change to the q decimal digits.
1.203 +
1.204 +@publishedAll
1.205 +@externallyDefinedApi
1.206 +*/
1.207 +
1.208 +/** @def LDBL_MIN_EXP
1.209 +
1.210 +Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number
1.211 +
1.212 +@publishedAll
1.213 +@externallyDefinedApi
1.214 +*/
1.215 +
1.216 +/** @def LDBL_MIN
1.217 +
1.218 +Minimum normalized positive floating-point number
1.219 +
1.220 +@publishedAll
1.221 +@externallyDefinedApi
1.222 +*/
1.223 +
1.224 +/** @def LDBL_MIN_10_EXP
1.225 +
1.226 +Minimum negative integer such that 10 raised to that power is in the range of normalized floating-point numbers.
1.227 +
1.228 +@publishedAll
1.229 +@externallyDefinedApi
1.230 +*/
1.231 +
1.232 +/** @def LDBL_MAX_EXP
1.233 +
1.234 +Maximum integer such that FLT_RADIX raised to that power minus 1 is a representable finite floating-point number, emax
1.235 +
1.236 +@publishedAll
1.237 +@externallyDefinedApi
1.238 +*/
1.239 +
1.240 +/** @def LDBL_MAX
1.241 +
1.242 +Maximum representable finite floating-point number.
1.243 +
1.244 +@publishedAll
1.245 +@externallyDefinedApi
1.246 +*/
1.247 +
1.248 +/** @def LDBL_MAX_10_EXP
1.249 +
1.250 +Maximum integer such that 10 raised to that power is in the range of representable finite floating-point numbers.
1.251 +
1.252 +@publishedAll
1.253 +@externallyDefinedApi
1.254 +*/
1.255 +