Fix output for floatvar initializers.
Directly emit guard-failure checks, rather than not-guard-success checks.

This transforms e.g. !(a==b) into (a==b) in the guard checking code.