diff --git a/types/casts.hpp b/types/casts.hpp
index 7c443ea4..fe408bd3 100644
--- a/types/casts.hpp
+++ b/types/casts.hpp
@@ -26,6 +26,7 @@
 #include <limits>
 
 
+//-----------------------------------------------------------------------------
 namespace detail {
     template <typename T, typename V>
     T
@@ -58,6 +59,7 @@ sign_cast (const V v)
     { return detail::_sign_cast<T,V>(v); }
 
 
+//-----------------------------------------------------------------------------
 namespace detail {
     // Same sign, no possibility of truncation with larger target type
     template <typename T, typename V>
@@ -84,4 +86,15 @@ T
 trunc_cast (V v)
     { return detail::_trunc_cast<T, V> (v); }
 
+
+//-----------------------------------------------------------------------------
+template <typename T, typename V>
+T
+size_cast (const V v) {
+    CHECK_HARD (std::numeric_limits<T>::min () <= v);
+    CHECK_HARD (std::numeric_limits<T>::max () >= v);
+    
+    return static_cast<T> (v);
+}
+
 #endif