1let a = -0.
2let b = +0.
3
4let _ =
5  assert(not (a == b))
6
7let f () =
8  let a = -0. in
9  let b = +0. in
10  assert(not (a == b))
11