Является ли сравнение с плавающей точкой в ​​C # детерминированным?

Question

Если вы присваиваете число с плавающей запятой переменной и присваиваете эту переменную другой, гарантируется ли, что сравнение этих двух переменных всегда будет иметь значение true?

Учитывая следующий код.

var r = new Random();
float a = (float)r.NextDouble();
float b = a;
Console.WriteLine(a == b); // Is this guaranteed to print true?

РЕДАКТИРОВАТЬ: Предположим, что значение не может быть NaN.