Fixed #4173: New check: arithmetical usage of inf/nan result