IEEE 754-2008 floating point arithmetic for Rust (WIP)