As far as I understand it, the amount of a bitcoin transaction is in uint64_t satoshis. In a correct implementation, all arithmetic performed on integers is exact, and there's no possibility for the number of satoshis in any transaction to ever exceed the maximum uint64_t.