From 1d18f60dd5faf2b5ace94fc461031e2708fa7f00 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 28 Oct 2013 07:46:49 -0700
Subject: [PATCH] fix(numerics): add missing numeric_traits<float>::zero()

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/numerics/numeric_traits.cpp | 1 +
 src/util/numerics/float.cpp                | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tests/util/numerics/numeric_traits.cpp b/src/tests/util/numerics/numeric_traits.cpp
index d69beb646..0499b1820 100644
--- a/src/tests/util/numerics/numeric_traits.cpp
+++ b/src/tests/util/numerics/numeric_traits.cpp
@@ -33,6 +33,7 @@ static void tst1() {
     tst_num(mpfp(0.0, 512));
     tst_num(mpbq(3));
     tst_num(1.0);
+    tst_num(static_cast<float>(1.0));
 }
 
 int main() {
diff --git a/src/util/numerics/float.cpp b/src/util/numerics/float.cpp
index 4a38ab26f..87ec243c8 100644
--- a/src/util/numerics/float.cpp
+++ b/src/util/numerics/float.cpp
@@ -25,7 +25,7 @@ void float_ceil(float & v)  { v = std::ceil(v); }
 void float_floor(float & v) { v = std::floor(v); }
 
 static float g_zero = 0.0;
-float const & zero() {
+float const & numeric_traits<float>::zero() {
     return g_zero;
 }
 };