perhaps awk numbers should be 64 bits?

- erik

Reply via email to