fix floating point error domain inequality bug

14 jobs for fix_domain_equality_bug in 6 minutes and 19 seconds (queued for 2 seconds)