diff --git a/src/common/ncast.rs b/src/common/ncast.rs
index 77c63b8..1665ceb 100644
--- a/src/common/ncast.rs
+++ b/src/common/ncast.rs
@@ -8,9 +8,6 @@ trait NumCast {
     static pure fn from<T:NumCast>(n: T) -> self;
     pure fn cast<T:NumCast>() -> T;
     
-    static pure fn zero() -> self;
-    static pure fn one()  -> self;
-    
     pure fn to_u8()    -> u8;
     pure fn to_u16()   -> u16;
     pure fn to_u32()   -> u32;
@@ -35,9 +32,6 @@ pub impl u8: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> u8 { move n.to_u8() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> u8 { 0u8 }
-    #[inline(always)] static pure fn one()  -> u8 { 1u8 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self          }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -59,9 +53,6 @@ pub impl u16: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> u16 { move n.to_u16() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> u16 { 0u16 }
-    #[inline(always)] static pure fn one()  -> u16 { 1u16 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self          }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -83,9 +74,6 @@ pub impl u32: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> u32 { move n.to_u32() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> u32 { 0u32 }
-    #[inline(always)] static pure fn one()  -> u32 { 1u32 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self          }
@@ -107,9 +95,6 @@ pub impl u64: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> u64 { move n.to_u64() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> u64 { 0u64 }
-    #[inline(always)] static pure fn one()  -> u64 { 1u64 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -131,9 +116,6 @@ pub impl uint: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> uint { move n.to_uint() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> uint { 0u }
-    #[inline(always)] static pure fn one()  -> uint { 1u }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -155,9 +137,6 @@ pub impl i8: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> i8 { move n.to_i8() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> i8 { 0i8 }
-    #[inline(always)] static pure fn one()  -> i8 { 1i8 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -179,9 +158,6 @@ pub impl i16: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> i16 { move n.to_i16() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> i16 { 0i16 }
-    #[inline(always)] static pure fn one()  -> i16 { 1i16 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -203,9 +179,6 @@ pub impl i32: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> i32 { move n.to_i32() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> i32 { 0i32 }
-    #[inline(always)] static pure fn one()  -> i32 { 1i32 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -227,9 +200,6 @@ pub impl i64: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> i64 { move n.to_i64() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> i64 { 0i64 }
-    #[inline(always)] static pure fn one()  -> i64 { 1i64 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -251,9 +221,6 @@ pub impl int: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> int { move n.to_int() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> int { 0 }
-    #[inline(always)] static pure fn one()  -> int { 1 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -275,9 +242,6 @@ pub impl f32: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> f32 { move n.to_f32() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> f32 { 0f32 }
-    #[inline(always)] static pure fn one()  -> f32 { 1f32 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -299,9 +263,6 @@ pub impl f64: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> f64 { move n.to_f64() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> f64 { 0f64 }
-    #[inline(always)] static pure fn one()  -> f64 { 1f64 }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
@@ -323,9 +284,6 @@ pub impl float: NumCast {
     #[inline(always)] static pure fn from<T:NumCast>(n: T) -> float { move n.to_float() }
     #[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
     
-    #[inline(always)] static pure fn zero() -> float { 0f }
-    #[inline(always)] static pure fn one()  -> float { 1f }
-    
     #[inline(always)] pure fn to_u8()    -> u8    { self as u8    }
     #[inline(always)] pure fn to_u16()   -> u16   { self as u16   }
     #[inline(always)] pure fn to_u32()   -> u32   { self as u32   }
diff --git a/src/common/nconsts.rs b/src/common/nconsts.rs
new file mode 100644
index 0000000..282be8a
--- /dev/null
+++ b/src/common/nconsts.rs
@@ -0,0 +1,127 @@
+trait IntConsts {
+    static pure fn zero() -> self;
+    static pure fn one() -> self;
+}
+
+trait FloatConsts: IntConsts {
+    static pure fn pi() -> self;
+    static pure fn frac_pi_2() -> self;
+    static pure fn frac_pi_4() -> self;
+    static pure fn frac_1_pi() -> self;
+    static pure fn frac_2_pi() -> self;
+    static pure fn frac_2_sqrtpi() -> self;
+    static pure fn sqrt2() -> self;
+    static pure fn frac_1_sqrt2() -> self;
+    static pure fn e() -> self;
+    static pure fn log2_e() -> self;
+    static pure fn log10_e() -> self;
+    static pure fn ln_2() -> self;
+    static pure fn ln_10() -> self;
+}
+
+pub impl u8: IntConsts {
+    #[inline(always)] static pure fn zero() -> u8 { 0u8 }
+    #[inline(always)] static pure fn one()  -> u8 { 1u8 }
+}
+
+pub impl u16: IntConsts {
+    #[inline(always)] static pure fn zero() -> u16 { 0u16 }
+    #[inline(always)] static pure fn one()  -> u16 { 1u16 }
+}
+
+pub impl u32: IntConsts {
+    #[inline(always)] static pure fn zero() -> u32 { 0u32 }
+    #[inline(always)] static pure fn one()  -> u32 { 1u32 }
+}
+
+pub impl u64: IntConsts {
+    #[inline(always)] static pure fn zero() -> u64 { 0u64 }
+    #[inline(always)] static pure fn one()  -> u64 { 1u64 }
+}
+
+pub impl uint: IntConsts {
+    #[inline(always)] static pure fn zero() -> uint { 0u }
+    #[inline(always)] static pure fn one()  -> uint { 1u }
+}
+
+pub impl i8: IntConsts {
+    #[inline(always)] static pure fn zero() -> i8 { 0i8 }
+    #[inline(always)] static pure fn one()  -> i8 { 1i8 }
+}
+
+pub impl i16: IntConsts {
+    #[inline(always)] static pure fn zero() -> i16 { 0i16 }
+    #[inline(always)] static pure fn one()  -> i16 { 1i16 }
+}
+
+pub impl i32: IntConsts {
+    #[inline(always)] static pure fn zero() -> i32 { 0i32 }
+    #[inline(always)] static pure fn one()  -> i32 { 1i32 }
+}
+
+pub impl i64: IntConsts {
+    #[inline(always)] static pure fn zero() -> i64 { 0i64 }
+    #[inline(always)] static pure fn one()  -> i64 { 1i64 }
+}
+
+pub impl int: IntConsts {
+    #[inline(always)] static pure fn zero() -> int { 0 }
+    #[inline(always)] static pure fn one()  -> int { 1 }
+}
+
+pub impl f32: FloatConsts {
+    #[inline(always)] static pure fn zero() -> f32 { 0f32 }
+    #[inline(always)] static pure fn one()  -> f32 { 1f32 }
+    
+    #[inline(always)] static pure fn pi()               -> f32 { 3.14159265358979323846264338327950288_f32  }
+    #[inline(always)] static pure fn frac_pi_2()        -> f32 { 1.57079632679489661923132169163975144_f32  }
+    #[inline(always)] static pure fn frac_pi_4()        -> f32 { 0.785398163397448309615660845819875721_f32 }
+    #[inline(always)] static pure fn frac_1_pi()        -> f32 { 0.318309886183790671537767526745028724_f32 }
+    #[inline(always)] static pure fn frac_2_pi()        -> f32 { 0.636619772367581343075535053490057448_f32 }
+    #[inline(always)] static pure fn frac_2_sqrtpi()    -> f32 { 1.12837916709551257389615890312154517_f32  }
+    #[inline(always)] static pure fn sqrt2()            -> f32 { 1.41421356237309504880168872420969808_f32  }
+    #[inline(always)] static pure fn frac_1_sqrt2()     -> f32 { 0.707106781186547524400844362104849039_f32 }
+    #[inline(always)] static pure fn e()                -> f32 { 2.71828182845904523536028747135266250_f32  }
+    #[inline(always)] static pure fn log2_e()           -> f32 { 1.44269504088896340735992468100189214_f32  }
+    #[inline(always)] static pure fn log10_e()          -> f32 { 0.434294481903251827651128918916605082_f32 }
+    #[inline(always)] static pure fn ln_2()             -> f32 { 0.693147180559945309417232121458176568_f32 }
+    #[inline(always)] static pure fn ln_10()            -> f32 { 2.30258509299404568401799145468436421_f32  }
+}
+
+pub impl f64: FloatConsts {
+    #[inline(always)] static pure fn zero() -> f64 { 0f64 }
+    #[inline(always)] static pure fn one()  -> f64 { 1f64 }
+    
+    #[inline(always)] static pure fn pi()               -> f64 { 3.14159265358979323846264338327950288_f64  }
+    #[inline(always)] static pure fn frac_pi_2()        -> f64 { 1.57079632679489661923132169163975144_f64  }
+    #[inline(always)] static pure fn frac_pi_4()        -> f64 { 0.785398163397448309615660845819875721_f64 }
+    #[inline(always)] static pure fn frac_1_pi()        -> f64 { 0.318309886183790671537767526745028724_f64 }
+    #[inline(always)] static pure fn frac_2_pi()        -> f64 { 0.636619772367581343075535053490057448_f64 }
+    #[inline(always)] static pure fn frac_2_sqrtpi()    -> f64 { 1.12837916709551257389615890312154517_f64  }
+    #[inline(always)] static pure fn sqrt2()            -> f64 { 1.41421356237309504880168872420969808_f64  }
+    #[inline(always)] static pure fn frac_1_sqrt2()     -> f64 { 0.707106781186547524400844362104849039_f64 }
+    #[inline(always)] static pure fn e()                -> f64 { 2.71828182845904523536028747135266250_f64  }
+    #[inline(always)] static pure fn log2_e()           -> f64 { 1.44269504088896340735992468100189214_f64  }
+    #[inline(always)] static pure fn log10_e()          -> f64 { 0.434294481903251827651128918916605082_f64 }
+    #[inline(always)] static pure fn ln_2()             -> f64 { 0.693147180559945309417232121458176568_f64 }
+    #[inline(always)] static pure fn ln_10()            -> f64 { 2.30258509299404568401799145468436421_f64  }
+}
+
+pub impl float: FloatConsts {
+    #[inline(always)] static pure fn zero() -> float { 0f }
+    #[inline(always)] static pure fn one()  -> float { 1f }
+
+    #[inline(always)] static pure fn pi()               -> float { 3.14159265358979323846264338327950288  }
+    #[inline(always)] static pure fn frac_pi_2()        -> float { 1.57079632679489661923132169163975144  }
+    #[inline(always)] static pure fn frac_pi_4()        -> float { 0.785398163397448309615660845819875721 }
+    #[inline(always)] static pure fn frac_1_pi()        -> float { 0.318309886183790671537767526745028724 }
+    #[inline(always)] static pure fn frac_2_pi()        -> float { 0.636619772367581343075535053490057448 }
+    #[inline(always)] static pure fn frac_2_sqrtpi()    -> float { 1.12837916709551257389615890312154517  }
+    #[inline(always)] static pure fn sqrt2()            -> float { 1.41421356237309504880168872420969808  }
+    #[inline(always)] static pure fn frac_1_sqrt2()     -> float { 0.707106781186547524400844362104849039 }
+    #[inline(always)] static pure fn e()                -> float { 2.71828182845904523536028747135266250  }
+    #[inline(always)] static pure fn log2_e()           -> float { 1.44269504088896340735992468100189214  }
+    #[inline(always)] static pure fn log10_e()          -> float { 0.434294481903251827651128918916605082 }
+    #[inline(always)] static pure fn ln_2()             -> float { 0.693147180559945309417232121458176568 }
+    #[inline(always)] static pure fn ln_10()            -> float { 2.30258509299404568401799145468436421  }
+}
\ No newline at end of file
diff --git a/src/lmath.rc b/src/lmath.rc
index da29e01..86f700f 100644
--- a/src/lmath.rc
+++ b/src/lmath.rc
@@ -25,6 +25,7 @@ use common::*;
 pub mod common {
     pub mod math;
     pub mod ncast;
+    pub mod nconsts;
     pub mod ntrait;
 }