expr.get_nat_value source