FN-PRICEMAT-001: PRICEMAT formula order on the x87 unit
Detail for matching Excel's bits · measured · recorded 2026-11-04
PRICEMAT = (100 + (DIM/B)*rate*100) / (1 + (DSM/B)*yld) - (A/B)*rate*100, each operation taken from the x87 unit at precision 64 and stored to binary64.
| Call and input route | Inputs | Excel | Correct value | Recorded in |
|---|---|---|---|---|
PRICEMAT(38620, 42889, 38168, 0.12180991686638161, 0.019384437069992936, 2)cell-value2 | settlement: 386200x40e2db8000000000maturity: 428890x40e4f12000000000issue: 381680x40e2a30000000000rate: 0.121809916866381610x3fbf2eef494503b5yld: 0.0193844370699929360x3f93d9838d1165c1basis: 20x4000000000000000 | 195.899775811747020x40687ccaf6a4a5ee | — | Excel 16.0 build 20430, Windows 64-bit, AMD Ryzen 7 4800H |
Basis: 2,404 of 2,404 recorded rows, with the day counts of FN-PRICEMAT-002. Strict binary64 with the same day counts matches 2,400.
Evidence and capture sources
- DnaCalc · crates/calc-func/tests/f3_financial.rs 26bb1800d3b349e44d594bed5f8bb589b528ef10 · lines 435-466 recorded answers pinned
- DnaCalc-Research · evidence/round23/pricemat-hard/summary.json f1774082865e3a5ab7dec27ead7aeebb73b078c2 · counts day-count rule against precision
- CalcFunc-Evidence · cache/oracle-20430/build-20430/PRICEMAT.jsonl.gz 4d5320dfdc385354469b4d506153357bb932ab08 · line 2282, key PRICEMAT|0x40e2db8000000000|0x40e4f12000000000|0x40e2a30000000000|0x3fbf2eef494503b5|0x3f93d9838d1165c1|0x4000000000000000