adding asConst_nat to recover the [Const] constructor at nat.