Note that these currently fail because I am not doing the bitwise
f64/u64 conversion correctly. This should be done either via
from_bits/to_bits (unstable) or std::mem::transmute (unsafe).