Counter_agg for 64bit counter

Hi there, I am investigating on what is the best way to work with a couple of measurements of ever-increasing counters of some networking devices sampled via SNMP. I was looking into the counter_agg function but I am not sure if It will work correctly for my use case, since the signature is:

counter_agg(ts TIMESTAMPTZ,value DOUBLE PRECISION[, bounds TSTZRANGE]) RETURNS CounterSummary

and since the counter are 64bits I need a numeric unsigned column that supports all possible counter values.

from the docs:

I says that I may cast to double precision, but if I did, wouldn’t it be possible to loose precision if the counters get large enough?