现在有负无限值双精度浮点数x和负有限值单精度浮点数y，以下关于x%y的说法中，______是正确的。