```haskell two :: Unsigned 3 two = 10 -- wraps to 2 topEntity :: Int topEntity = fromIntegral two ``` In clashi we get 2 In HDL we get 10