diff --git a/example/include/ranged_representation.h b/example/include/ranged_representation.h
index d0a725a90..82f518468 100644
--- a/example/include/ranged_representation.h
+++ b/example/include/ranged_representation.h
@@ -55,6 +55,10 @@ class ranged_representation : public validated_type<T, is_in_range_t<T, Min, Max
 template<typename T, auto Min, auto Max>
 inline constexpr bool mp_units::is_scalar<ranged_representation<T, Min, Max>> = mp_units::is_scalar<T>;
 
+template<typename T, auto Min, auto Max>
+inline constexpr bool mp_units::treat_as_floating_point<ranged_representation<T, Min, Max>> =
+  mp_units::treat_as_floating_point<T>;
+
 template<typename T, auto Min, auto Max>
 struct MP_UNITS_STD_FMT::formatter<ranged_representation<T, Min, Max>> : formatter<T> {
   template<typename FormatContext>
diff --git a/example/include/validated_type.h b/example/include/validated_type.h
index 2f09563db..15d540bc8 100644
--- a/example/include/validated_type.h
+++ b/example/include/validated_type.h
@@ -104,6 +104,10 @@ class validated_type {
 template<typename T, typename Validator>
 inline constexpr bool mp_units::is_scalar<validated_type<T, Validator>> = mp_units::is_scalar<T>;
 
+template<typename T, typename Validator>
+inline constexpr bool mp_units::treat_as_floating_point<validated_type<T, Validator>> =
+  mp_units::treat_as_floating_point<T>;
+
 
 template<typename CharT, typename Traits, typename T, typename Validator>
 std::basic_ostream<CharT, Traits>& operator<<(std::basic_ostream<CharT, Traits>& os,