diff options
Diffstat (limited to 'kernel/float64.ml')
| -rw-r--r-- | kernel/float64.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/float64.ml b/kernel/float64.ml index e74fd2e9f1..0b22e07e82 100644 --- a/kernel/float64.ml +++ b/kernel/float64.ml @@ -19,6 +19,8 @@ let is_nan f = f <> f let to_string f = if is_nan f then "nan" else string_of_float f let of_string = float_of_string +let of_float f = f + let opp = ( ~-. ) let abs = abs_float |