Custom lower f64 args passed in integer registers.