Add float sanitizer