Modeling money and big integers in OpenAPI: int64 precision, decimal amounts, and why number fails for currency

Two data-loss bugs show up months after an API ships. An order id over 2^53 arrives rounded, so a client fetches the wrong receipt. A ledger total of 19.99 becomes 19.989999999999998 after one round t