Floating-point literal - Githubissues

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

Open vprevosto opened 7 years ago

vprevosto commented 7 years ago

Shouldn't we have a d suffix (e.g. 0.1d, which would be equivalent to (double)0.1).
What about long double?
What about properties of built-in conversion functions such as is_finite_float(x) ==> (float)(\real_of_float(x)) == x?