gmp :: UInt64 :: defaultinit
# Boxing of C Unsigned Long extern class UInt64 `{ uint64_t* `} new `{ uint64_t *self = (uint64_t*)malloc(sizeof(uint64_t)); return self; `} fun set_si(val: Int) `{ *self = (uint64_t)val; `} end