I need to calculate a list of very small numbers such as
(0.1)^1000, 0.2^(1200),
and then normalize them so they will sum up to one i.e.
a1 = 0.1^
Try the arbitrary precision package mpfr.
Ryacas may also be able to do arbitrary precision.