Are you aware of D libraries in that vein? I'm especially interested in the first 2, since those are something I'm actively working on at the moment.
I don't know of any DSLs, but the stdlib arbitrary precision integer library works just fine at compile time:
enum x = BigInt("0xffffffffffffffffffffffffffffffff") % 2;
writeln(x);
('enum' means 'make this value a compile-time constant; error if you can't')
That said, it can do all of the metaprogramming-related tasks you mention.