diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index d28395195..c96ba594e 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1350,11 +1350,11 @@ bool mpf_manager::is_ninf(mpf const & x) {
 }
 
 bool mpf_manager::is_normal(mpf const & x) {
-    return !is_zero(x) && has_bot_exp(x);
+    return !(has_top_exp(x) || is_denormal(x));
 }
 
 bool mpf_manager::is_denormal(mpf const & x) {
-    return has_bot_exp(x);
+    return !is_zero(x) && has_bot_exp(x);
 }
 
 bool mpf_manager::is_int(mpf const & x) {