Floating-Point Types in Rust by Pascal Precht