diff --git a/fixed.cpp b/fixed.cpp
index e62e706e..de7058a3 100644
--- a/fixed.cpp
+++ b/fixed.cpp
@@ -22,21 +22,6 @@ using namespace util;
 
 
 ///////////////////////////////////////////////////////////////////////////////
-// Constructors
-template <typename T, unsigned I, unsigned E>
-fixed<T,I,E>::fixed (native_t val):
-    m_value (val << E)
-{
-    static_assert (I > 0, "must use positive integer bits");
-    static_assert (E > 0, "must use positive fractional bits");
-    static_assert (I + E == sizeof (m_value) * 8,
-                   "underlying storage must be exactly I+E sized");
-}
-
-
-///////////////////////////////////////////////////////////////////////////////
-// Conversions
-
 template <typename T, unsigned I, unsigned E>
 double
 fixed<T,I,E>::to_double (void) const
@@ -56,7 +41,7 @@ fixed<T,I,E>::to_float (void) const
 
 //-----------------------------------------------------------------------------
 template <typename T, unsigned I, unsigned E>
-typename fixed<T,I,E>::native_t
+typename fixed<T,I,E>::integer_type
 fixed<T,I,E>::to_integer (void) const
 {
     return m_value >> E;
@@ -65,7 +50,7 @@ fixed<T,I,E>::to_integer (void) const
 
 //-----------------------------------------------------------------------------
 template <typename T, unsigned I, unsigned E>
-typename fixed<T,I,E>::native_t
+typename fixed<T,I,E>::native_type
 fixed<T,I,E>::to_native (void) const
 {
     return m_value;
@@ -75,7 +60,7 @@ fixed<T,I,E>::to_native (void) const
 //-----------------------------------------------------------------------------
 template <typename T, unsigned I, unsigned E>
 fixed<T,I,E>
-fixed<T,I,E>::from_native (native_t i)
+fixed<T,I,E>::from_native (native_type i)
 {
     fixed<T,I,E> v;
     v.m_value = i;
@@ -85,8 +70,22 @@ fixed<T,I,E>::from_native (native_t i)
 
 //-----------------------------------------------------------------------------
 template <typename T, unsigned I, unsigned E>
-typename fixed<T,I,E>::native_t
-fixed<T,I,E>::to_integer (native_t n)
+fixed<T,I,E>
+fixed<T,I,E>::from_integer (integer_type val)
+{
+    constexpr auto rshift = sizeof (val) * 8 - I;
+    constexpr auto lshift = E - rshift;
+
+    fixed<T,I,E> res;
+    res.m_value = static_cast<native_type> (val) << lshift;
+    return res;
+}
+
+
+//-----------------------------------------------------------------------------
+template <typename T, unsigned I, unsigned E>
+typename fixed<T,I,E>::integer_type
+fixed<T,I,E>::to_integer (native_type n)
 {
     return n >> E;
 }
@@ -123,13 +122,13 @@ SIMPLE_FIXED_LIT(+)
 
 ///////////////////////////////////////////////////////////////////////////////
 // Integer operators
-#define SIMPLE_INTEGER_REF(OP)                  \
-template <typename T, unsigned I, unsigned E>   \
-fixed<T,I,E>&                                   \
-fixed<T,I,E>::operator OP (native_t val)        \
-{                                               \
-    m_value OP val << E;                        \
-    return *this;                               \
+#define SIMPLE_INTEGER_REF(OP)                        \
+template <typename T, unsigned I, unsigned E>         \
+fixed<T,I,E>&                                         \
+fixed<T,I,E>::operator OP (integer_type val)          \
+{                                                     \
+    m_value OP (static_cast<native_type> (val) << E); \
+    return *this;                                     \
 }
 
 SIMPLE_INTEGER_REF(+=)
@@ -139,10 +138,10 @@ SIMPLE_INTEGER_REF(/=)
 
 
 //-----------------------------------------------------------------------------
-#define SIMPLE_INTEGER_LIT(OP)                               \
+#define SIMPLE_INTEGER_LIT(OP)                              \
 template <typename T, unsigned I, unsigned E>               \
 fixed<T,I,E>                                                \
-fixed<T,I,E>::operator OP (native_t val) const              \
+fixed<T,I,E>::operator OP (integer_type val) const          \
 {                                                           \
     return fixed<T,I,E>::from_native (m_value OP val << E); \
 }
@@ -163,6 +162,14 @@ util::operator OP (util::fixed<T,I,E> a,        \
                    util::fixed<T,I,E> b)        \
 {                                               \
     return a.to_native () OP b.to_native ();    \
+}                                                               \
+                                                                \
+template <typename T, unsigned I, unsigned E>                   \
+bool                                                            \
+util::operator OP (util::fixed<T,I,E> a,                        \
+                   typename util::fixed<T,I,E>::integer_type b) \
+{                                                               \
+    return a OP util::fixed<T,I,E>::from_integer (b);           \
 }
 
 LOGIC_OP(==)
@@ -172,6 +179,7 @@ LOGIC_OP(<=)
 LOGIC_OP(>)
 LOGIC_OP(>=)
 
+
 ///////////////////////////////////////////////////////////////////////////////
 // iostream operators
 template <typename T, unsigned I, unsigned E>
@@ -193,10 +201,17 @@ template bool util::operator!= (util::fixed<T,I,E>, util::fixed<T,I,E>);    \
 template bool util::operator<  (util::fixed<T,I,E>, util::fixed<T,I,E>);    \
 template bool util::operator<= (util::fixed<T,I,E>, util::fixed<T,I,E>);    \
 template bool util::operator>  (util::fixed<T,I,E>, util::fixed<T,I,E>);    \
-template bool util::operator>= (util::fixed<T,I,E>, util::fixed<T,I,E>);
+template bool util::operator>= (util::fixed<T,I,E>, util::fixed<T,I,E>);    \
+template bool util::operator== (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type); \
+template bool util::operator!= (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type); \
+template bool util::operator<  (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type); \
+template bool util::operator<= (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type); \
+template bool util::operator>  (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type); \
+template bool util::operator>= (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
 
 template class util::fixed<signed,8,8>;
 
+INSTANTIATE(signed, 2,14)
 INSTANTIATE(signed,16,16)
 INSTANTIATE(signed,26, 6)
 INSTANTIATE(signed,32,32)
diff --git a/fixed.hpp b/fixed.hpp
index c38361bf..5f6d7fca 100644
--- a/fixed.hpp
+++ b/fixed.hpp
@@ -17,69 +17,98 @@
 #ifndef __UTIL_FIXED_HPP
 #define __UTIL_FIXED_HPP
 
-#include "types/bits.hpp"
+#include "./types/bits.hpp"
+#include "./maths.hpp"
+#include "./endian.hpp"
 
 #include <ostream>
 
 namespace util {
     template <typename T, unsigned I, unsigned E>
-    class fixed {
-        public:
-            typedef typename std::conditional<
-                std::is_signed<T>::value,
-                typename bits_type<I+E>::sint,
-                typename bits_type<I+E>::uint
-            >::type native_t;
+    class [[gnu::packed]] fixed {
+    public:
+        static_assert (I > 0);
+        static_assert (E > 0);
+        static_assert ((I + E) % 8 == 0);
 
-            typedef native_t integer_t;
+        using sint_t = typename bits_type<I+E>::sint;
+        using uint_t = typename bits_type<I+E>::uint;
 
-            explicit fixed (double);
-            explicit fixed (float);
-            explicit fixed (native_t);
+        using native_type = typename std::conditional<
+            std::is_signed<T>::value,
+            sint_t, uint_t
+        >::type;
 
-            double    to_double  (void) const;
-            float     to_float   (void) const;
-            integer_t to_integer (void) const;
-            native_t  to_native  (void) const;
+        using integer_type = typename std::conditional<
+            std::is_signed<T>::value,
+            typename bits_type<divup (I, 8u) * 8u>::sint,
+            typename bits_type<divup (I, 8u) * 8u>::uint
+        >::type;
 
-            static fixed<T,I,E> from_native (native_t);
-            static integer_t to_integer (native_t);
+        explicit fixed (double);
+        explicit fixed (float);
 
-            fixed<T,I,E>& operator +=(const fixed<T,I,E>);
-            fixed<T,I,E>& operator -=(const fixed<T,I,E>);
-            fixed<T,I,E>& operator *=(const fixed<T,I,E>);
-            fixed<T,I,E>& operator /=(const fixed<T,I,E>);
+        double to_double (void) const;
+        float  to_float  (void) const;
+        integer_type to_integer (void) const;
+        native_type  to_native  (void) const;
 
-            fixed<T,I,E>  operator +(const fixed<T,I,E>) const;
-            fixed<T,I,E>  operator -(const fixed<T,I,E>) const;
-            fixed<T,I,E>  operator *(const fixed<T,I,E>) const;
-            fixed<T,I,E>  operator /(const fixed<T,I,E>) const;
+        static fixed<T,I,E> from_native (native_type);
+        static fixed<T,I,E> from_integer (integer_type);
 
-            fixed<T,I,E>& operator +=(integer_t);
-            fixed<T,I,E>& operator -=(integer_t);
-            fixed<T,I,E>& operator *=(integer_t);
-            fixed<T,I,E>& operator /=(integer_t);
+        static integer_type to_integer (native_type);
 
-            fixed<T,I,E>  operator +(integer_t) const;
-            fixed<T,I,E>  operator -(integer_t) const;
-            fixed<T,I,E>  operator *(integer_t) const;
-            fixed<T,I,E>  operator /(integer_t) const;
+        fixed<T,I,E>& operator +=(const fixed<T,I,E>);
+        fixed<T,I,E>& operator -=(const fixed<T,I,E>);
+        fixed<T,I,E>& operator *=(const fixed<T,I,E>);
+        fixed<T,I,E>& operator /=(const fixed<T,I,E>);
 
-        private:
-            fixed () = default;
+        fixed<T,I,E>  operator +(const fixed<T,I,E>) const;
+        fixed<T,I,E>  operator -(const fixed<T,I,E>) const;
+        fixed<T,I,E>  operator *(const fixed<T,I,E>) const;
+        fixed<T,I,E>  operator /(const fixed<T,I,E>) const;
 
-            native_t m_value;
+        fixed<T,I,E>& operator +=(integer_type);
+        fixed<T,I,E>& operator -=(integer_type);
+        fixed<T,I,E>& operator *=(integer_type);
+        fixed<T,I,E>& operator /=(integer_type);
+
+        fixed<T,I,E>  operator +(integer_type) const;
+        fixed<T,I,E>  operator -(integer_type) const;
+        fixed<T,I,E>  operator *(integer_type) const;
+        fixed<T,I,E>  operator /(integer_type) const;
+
+    private:
+        fixed () = default;
+
+        native_type m_value;
     };
 
 
+    template <typename T, unsigned I, unsigned E>
+    constexpr
+    fixed<T,I,E>
+    bswap (fixed<T,I,E> val)
+    {
+        return fixed<T,I,E>::from_native (
+            bswap (val.to_native ())
+        );
+    }
+
+
     template <typename T, unsigned I, unsigned E> bool operator== (util::fixed<T,I,E>, util::fixed<T,I,E>);
     template <typename T, unsigned I, unsigned E> bool operator!= (util::fixed<T,I,E>, util::fixed<T,I,E>);
-
     template <typename T, unsigned I, unsigned E> bool operator<  (util::fixed<T,I,E>, util::fixed<T,I,E>);
     template <typename T, unsigned I, unsigned E> bool operator<= (util::fixed<T,I,E>, util::fixed<T,I,E>);
     template <typename T, unsigned I, unsigned E> bool operator>  (util::fixed<T,I,E>, util::fixed<T,I,E>);
     template <typename T, unsigned I, unsigned E> bool operator>= (util::fixed<T,I,E>, util::fixed<T,I,E>);
 
+    template <typename T, unsigned I, unsigned E> bool operator== (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
+    template <typename T, unsigned I, unsigned E> bool operator!= (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
+    template <typename T, unsigned I, unsigned E> bool operator<  (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
+    template <typename T, unsigned I, unsigned E> bool operator<= (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
+    template <typename T, unsigned I, unsigned E> bool operator>  (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
+    template <typename T, unsigned I, unsigned E> bool operator>= (util::fixed<T,I,E>, typename util::fixed<T,I,E>::integer_type);
 
     template <typename T, unsigned I, unsigned E>
     std::ostream& operator<< (std::ostream&, fixed<T,I,E>);
diff --git a/test/fixed.cpp b/test/fixed.cpp
index 03db9675..249c9609 100644
--- a/test/fixed.cpp
+++ b/test/fixed.cpp
@@ -3,15 +3,17 @@
 
 #include "tap.hpp"
 
+
+///////////////////////////////////////////////////////////////////////////////
 template <typename T, unsigned I, unsigned E>
 void
 test_simple (util::TAP::logger &tap)
 {
-    using fixed_t = util::fixed<T,I,E>;
-    using integer_t = typename fixed_t::integer_t;
+    using fixed   = util::fixed<T,I,E>;
+    using integer = typename fixed::integer_type;
 
-    const fixed_t lo {integer_t{0}};
-    const fixed_t hi {integer_t{1}};
+    const auto lo = fixed::from_integer (integer {0});
+    const auto hi = fixed::from_integer (integer {1});
 
     std::ostringstream os;
     os << "fixed<" << type_to_string<T> () << ',' << I << ',' << E << '>';
@@ -32,6 +34,7 @@ test_simple (util::TAP::logger &tap)
 }
 
 
+///////////////////////////////////////////////////////////////////////////////
 int
 main (void)
 {