bugs.core_3547_test. Floating-point negative zero doesn't match positive zero in the index