diff --git a/dhall/common.dhall b/dhall/common.dhall
index 99aa669..0a0ef72 100644
--- a/dhall/common.dhall
+++ b/dhall/common.dhall
@@ -4,9 +4,18 @@ let List/map =
 
 let T = ./Types.dhall
 
-let D = ./Decimal.dhall
+let dec =
+      \(s : Bool) ->
+      \(w : Natural) ->
+      \(d : Natural) ->
+      \(p : Natural) ->
+        { whole = w, decimal = d, precision = p, sign = s } : T.Decimal
 
-let M = ./math.dhall
+let dec2 = \(s : Bool) -> \(w : Natural) -> \(d : Natural) -> dec s w d 2
+
+let d = dec2 True
+
+let d_ = dec2 False
 
 let nullSplit =
       \(a : T.SplitAcnt) ->
@@ -175,5 +184,3 @@ in      { nullSplit
         , PartSplit
         }
     /\  T
-    /\  D
-    /\  M