Subtract Float32 number from Float64 number - what's the rule?

See also