What is the max Coins of Libra account?10000000000000? 10001000000000?

General
#1

libra% a mint 0 1000000000000000

Minting coins
[ERROR] Error minting coins: Input value is too big: “1000000000000000”, max: 18446744073709.551615
libra% a mint 0 18446744073709.551615

Minting coins
[ERROR] Error minting coins: Failed to query remote faucet server[status=400 Bad Request]: “Exceeded max amount of 10000000000000.0”
libra% a mint 0 18446744073708

Minting coins
[ERROR] Error minting coins: Failed to query remote faucet server[status=400 Bad Request]: “Exceeded max amount of 10000000000000.0”
libra% a mint 0 10000000000000

Minting coins
Mint request submitted
libra% q b 0
Balance is: 10001000000000