Add FLOAT_PI beside FLOAT_E

.cargo/config.toml

@@ -0,0 +1,7 @@
+# The rain-math-float bindings run over the test concretes compiled from this
+# source (crates/tests/build.rs), through their constructors. Forced so a
+# value in the shell cannot point the tests elsewhere.
+[env]
+RAIN_MATH_FLOAT_ARTIFACT = { value = "out/TestDecimalFloat.sol/TestDecimalFloat.json", relative = true, force = true }
+RAIN_MATH_FLOAT_TEST_ARTIFACT = { value = "out/TestDecimalFloatHarness.sol/TestDecimalFloatHarness.json", relative = true, force = true }
+RAIN_MATH_FLOAT_DEPLOY_MODE = { value = "create", force = true }

.github/workflows/rainix-rs-static.yaml

@@ -0,0 +1,5 @@
+name: rainix-rs-static
+on: [push]
+jobs:
+  rs-static:
+    uses: rainlanguage/rainix/.github/workflows/rainix-rs-static.yaml@main

.github/workflows/rainix-rs-test.yaml

@@ -0,0 +1,5 @@
+name: rainix-rs-test
+on: [push]
+jobs:
+  rs-test:
+    uses: rainlanguage/rainix/.github/workflows/rainix-rs-test.yaml@main

.gitignore

@@ -7,3 +7,4 @@ temp
 .fixes
 .pre-commit-config.yaml
 .claude
+target

.soldeerignore

@@ -25,3 +25,7 @@ CLAUDE.md
 /target
 /test
 /REUSE.toml
+/crates
+/.cargo
+Cargo.toml
+Cargo.lock

CLAUDE.md

@@ -14,7 +14,12 @@ rather than producing special values.
 This repository is the library half of the rain.math.float split. It publishes
 only the `rain-math-float` Soldeer package. The deployed concrete contract, the
 on-chain deploy pins/snapshot, the deploy scripts/tests, and the Rust/WASM/npm
-bindings live in `rain.math.float.deploy` and publish from there.
+bindings live in `rain.math.float.deploy` and publish from there. The one Rust
+crate here, `crates/tests`, is test-only and never published. It runs the
+bindings' library tests over `test/concrete/TestDecimalFloat.sol` compiled from
+this source (`.cargo/config.toml` points the bindings at the artifacts and runs
+their constructors) and cross-references the packed constants against values
+derived in integer arithmetic.
 
 ## Build Commands