# signed-zero-division Human review: pending. Expected output was independently traced by AI, not captured from cpsc. Basis and trace: Project division-by-zero contract includes negative floating zero. The division throws before the BOOLEAN result can be printed.