(set-option :produce-models true)
(declare-const b Float64)
(declare-const c Float64)
(get-value (fp.min c b))