compiler_builtins::float::cmp::__gtdf2