More AYB

I don't think I'm doing this right... maybe I'm too concerned about the
10^18 edge case, and I should try a simple uint64_t to start with? I'll
try that tomorrow.