The as-built IFC export wizard needs to distinguish a floor with nothing
built from one built at its designed position, which the deviation
magnitudes cannot do on their own.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>