transmute f64 <--> int