uses vrndnq_f64(), which is round to nearest. should use vrndmq_f64(), which is round towards -inf.
uses vrndnq_f64(), which is round to nearest. should use vrndmq_f64(), which is round towards -inf.