[overlay] reverted change of returning left seg_id < right seg_id
because it is already tested before as beging equal in these cases
[difference] change in testcase, fix for MSVC, enabled for other compilers.
enabled for all FP types