strict rules:    2000 programs, no difference
fast math rules: first difference at seed 217 with inputs {0: 7, 1: nan, 2: False}
the program:
; uop v1
%0 = const : dtype=f32 value=-0.0
%1 = param : dtype=f32 slot=1
%2 = mul %0, %1
%3 = cast %2 : dtype=bool

fast math simplifies it to:
; uop v1
%0 = const : dtype=bool value=false

program gives:   True
simplified gives: False
