Show HN: Galois connections for composable numeric casts in Rust

Read the docs here or on docs.rs. Galois connections as first-class Rust values. Use them to cast lawfully between numeric types, and compose ladders of conversions whose round-trip behavior is determ...