[Spec Deviation] Incorrect results for reference equality checks with float NaN/NaN and -0.0/+0.0

[MaryamZi]

Description:
Value equality checks for NaN/NaN and -0.0/+0.0 currently evaluate to true as follows:

NaN != NaN

-0.0 == +0.0

Reference equality checks for NaN/NaN and -0.0/+0.0 are expected to evaluate to true for:

NaN === NaN

-0.0 !== +0.0

Currently the reference equality checks fail since we consider the reference equality checks for simple basic types to be the same as value equality checks.

[MaryamZi]

As per the new spec (v0.990:2018-12-DD), evaluation needs to happen as follows:

NaN === NaN; // true
NaN == NaN; // true

-0.0 === +0.0 // false
-0.0 == +0.0 // true

[Anoukh]

decimal type should support division by zero as well

[hasithaa]

Duplicates #17977