[Lib] u8.rs, u64.rs: +min_value, max_value

src/lib/u64.rs

@@ -1,3 +1,6 @@
+pure fn max_value() -> u64 { ret 18446744073709551615u64; }
+pure fn min_value() -> u64 { ret 0u64; }
+
 fn to_str(n: u64, radix: uint) -> str {
     assert (0u < radix && radix <= 16u);
 

src/lib/u8.rs

@@ -1,4 +1,5 @@
-
+pure fn max_value() -> u8 { ret 255u8; }
+pure fn min_value() -> u8 { ret 0u8; }
 
 pure fn add(x: u8, y: u8) -> u8 { ret x + y; }