diff --git a/tmv.h b/tmv.h
index bf48d09..2c560a0 100644
--- a/tmv.h
+++ b/tmv.h
@@ -71,6 +71,11 @@ static inline tmv_t correction_to_tmv(Integer64 c)
 	return c >> 16;
 }
 
+static inline double tmv_dbl(tmv_t x)
+{
+	return (double) x;
+}
+
 static inline TimeInterval tmv_to_TimeInterval(tmv_t x)
 {
 	return x << 16;