rust: ieee754.rs