optimization with strict linear inequality does not find epsilon solution

[bcrwlngs]

For the problem

(declare-fun x () Real)
(declare-fun y () Real)
(declare-fun z () Real)
(assert (<= 0 x))
(assert (<= 0 y))
(assert (< (+ x y) z))
(minimize z)
(check-sat)
(get-model)
(get-objectives)

It seems like the solution should be "z = epsilon", but instead the output is

sat
(
  (define-fun z () Real
    (/ 1.0 2.0))
  (define-fun y () Real
    0.0)
  (define-fun x () Real
    0.0)
)
(objectives
 (z (/ 1.0 2.0))
)

(This is from Z3 version 4.8.10 on Linux, but more recent versions produced similar results.)