Attempt implementing NaN-checks for floating-point variables.

There's no need to merge this, I'm just testing things out and trying to figure out how much more complicated this would be to implement in a 3rd party tool rather than in the compiler as in [this pull request](https://github.com/D-Programming-Language/dmd/pull/3573).